Reduction techniques for first-order reasoning-Reference-Cited by-同舟云学术

Reduction techniques for first-order reasoning

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

Author:

Bronsard Francois,Reddy Uday S.

Publisher

Springer Berlin Heidelberg

Link

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

Reference8 articles.

1. Lecture Notes in Comp. Science, Vol 355;L. Bachmair,1989

2. Leo Bachmair and Harald Ganzinger. Completion of first order clauses with equality. In S. Kaplan and M. Okada, editors, Conditional and Typed Rewriting Systems — Second International CTRS Workshop, pages 162–180. Springer-Verlag, 1991.

3. F. Bronsard and U. S. Reddy. Conditional rewriting in Focus. In S. Kaplan and M. Okada, editors, Conditional and Typed Rewriting Systems — Second International CTRS Workshop, pages 2–13. Springer-Verlag, Berlin, 1991.

4. N. Dershowitz and J.-P. Jouannaud. 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, 1990.

5. H. Ganzinger. A completion procedure for conditional equations. J. Symbolic Computation, 11:51–81, 1991.

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

1. Linear and unit-resulting refutations for Horn theories;Journal of Automated Reasoning;1996-06

2. Induction using term orders;Journal of Automated Reasoning;1996-03

3. Induction using term orderings;Automated Deduction — CADE-12;1994

4. Implementing contextual rewriting;Conditional Term Rewriting Systems;1993

5. Exactness and Clarity in a Component-Based Specification Language;The Springer International Series in Engineering and Computer Science