Modular higher-order E-unification

Authors:
Tobias Nipkow;Zhenyu Qian
Affiliations:
-;-
Venue:
RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
Year:
1991

Citing 0
Cited 2

Algebraic reasoning and completeness in typed languages

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-order equational logic programming

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

Quantified Score

Hi-index	0.00

Visualization

Abstract