A completeness result for E-unification algorithms based on conditional narrowing

Authors:
E. Giovannetti;C. Moiso
Affiliations:
Univ. of Torino, Torino, Italy;CSELT, Torino, Italy
Venue:
Lecture notes in computer science on Foundations of logic and functional programming
Year:
1988

System support for modular order-sorted horn clause specifications

ICSE '90 Proceedings of the 12th international conference on Software engineering
Simplifying termination proofs for rewrite systems by preprocessing

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Functional and constraint logic programming

Constraints in computational logics
A Complete Selection Function for Lazy Conditional Narrowing

FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming

Hi-index	0.00