Incremental constraint satisfaction for equational logic programming

Authors:
María Alpuente;Moreno Falaschi;Giorgio Levi
Affiliations:
-;-;-
Venue:
PLILP '91 Selected papers of the symposium on Programming language implementation and logic programming
Year:
1995

Citing 0
Cited 4

Partial evaluation of functional logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular Termination of Basic Narrowing

RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Termination of narrowing revisited

Theoretical Computer Science
Transformation and debugging of functional logic programs

A 25-year perspective on logic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract