Narrowing approximations as an optimization for equational logic programs-Reference-Cited by-同舟云学术

Narrowing approximations as an optimization for equational logic programs

Published:1993 Issue: Volume: Page:391-409
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Alpuente María,Falaschi Moreno,Ramis María José,Vidal Germán

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57186-8_93.pdf

Reference27 articles.

1. volume 516 of Lecture Notes in Computer Science;G. Aguzzi,1990

2. H. Aït-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations, and Functions. In Proc. of the Fourth IEEE Symposium on Logic Programming, pages 17–23. IEEE Computer Society Press, 1987.

3. M. Alpuente, M. Falaschi, and G. Levi. Incremental Constraint Satisfaction for Equational Logic Programming. Technical Report TR-20/91, Dipartimento di Informatica, Università di Pisa, 1991. to appear in Theoretical Computer Science.

4. M. Alpuente, M. Falaschi, and F. Manzo. Analyses of Inconsistency for Incremental Equational Logic Programming. In M. Bruynooghe and M. Wirsing, editors, Proc. of PLILP'92, Leuven (Belgium), volume 631 of Lecture Notes in Computer Science, pages 443–457. Springer-Verlag, Berlin, 1992.

5. M. Alpuente, M. Falaschi, and F. Manzo. Analyses of Unsatisfiability for Equational Logic Programming. Technical Report DSIC-II/29/92, UPV, 1992. submitted for publication.

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

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

2. A Fully Abstract Semantics for Constructor Systems;Rewriting Techniques and Applications;2009

3. Compositional analysis for equational Horn programs;Algebraic and Logic Programming;1994

4. Narrowing approximations as an optimization for equational logic programs;Lecture Notes in Computer Science;1993

5. Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator;Logic-Based Program Synthesis and Transformation