Narrowing directed by a graph of terms-Reference-Cited by-同舟云学术

Narrowing directed by a graph of terms

Published:1991 Issue: Volume: Page:112-123
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Chabin Jacques,Réty Pierre

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-53904-2_90.pdf

Reference12 articles.

1. Jacques Chabin. Surréduction dirigée par un graphe d'opérateurs. Formulation équitable par des systèmes d'équations et implantation. Rapport de DEA, université d'Orléans, Septembre 1990. (In french).

2. J. Chabin and P. Réty. Narrowing directed by a graph of terms (including proofs). Internal report 91-1, LIFO, Université d'Orléans. 1991.

3. N. Dershowitz and G. Sivakumar. Solving goals in equational langages. Proceedings of the first workshop CTRS. Springer-Verlag, vol 308. 1987.

4. N. Dershowitz and J.P. Jouannaud. Rewrite system. Handbook of Theoretical Computer Science, Vol B, North-Holland, 1990.

5. M. Fay. First-Order Unification in an Equational Theory. Master Thesis 78-5-002. University of Santa Cruz. 1978.

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

1. Termination of narrowing via termination of rewriting;Applicable Algebra in Engineering, Communication and Computing;2010-02-25

2. Termination by Abstraction;Logic Programming;2004

3. Goal-Directed Completion using SOUR Graphs;Rewriting Techniques and Applications;1997

4. Conditional directed narrowing;Algebraic Methodology and Software Technology;1996

5. On the connection between narrowing and proof by consistency;Automated Deduction — CADE-12;1994