Unification modulo an equality theory for equational logic programming

Authors:
Jia-Huai You
Affiliations:
-
Venue:
Journal of Computer and System Sciences
Year:
1991

Citing 0
Cited 3

Higher-order equational logic programming

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A needed narrowing strategy

Journal of the ACM (JACM)
Narrowing Strategies For Arbitrary Canonical Rewrite Systems

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract