Implementing contextual rewriting-Reference-Cited by-同舟云学术

Implementing contextual rewriting

Published:1993 Issue: Volume: Page:363-377
ISSN:0302-9743
Container-title:Conditional Term Rewriting Systems
language:
Short-container-title:

Author:

Zhang Hantao

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56393-8_28.pdf

Reference16 articles.

1. Boyer, R.S., Moore, J. S.: (1979) A Computational Logic. Academic Press, New York.

2. Bronsard, F., Reddy, U.S.: (1991) Conditional rewriting in Focus. In Kaplan, S., Okada, N. (eds): Procs. of Second International CTRS Workshop. pp. 2–13. Springer-Verlag, Berlin.

3. Bronsard, F., Reddy, U.S.: (1992) Reduction techniques for first-order reasoning. In Rusinowitch, M., Remy, J.L.: (eds): Procs. of Third International CTRS Workshop.

4. Dershowitz, N.: (1982) Ordering for term-rewriting systems. Theoretical Computer Science 17(3), 279–301.

5. Dershowitz, N., Jouannaud J.P.: (1990) Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science B: Formal Methods and Semantics, chapter 6, pages 243–320, North-Holland, Amsterdam.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Conditional Confluence (System Description);Lecture Notes in Computer Science;2014

2. Observational proofs by rewriting;Theoretical Computer Science;2002-03

3. Rewriting, decision procedures and lemma speculation for automated hardware verification;Lecture Notes in Computer Science;1997

4. Mechanizing verification of arithmetic circuits: SRT division;Lecture Notes in Computer Science;1997

5. Shostak's congruence closure as completion;Rewriting Techniques and Applications;1997