A Combinatory Logic Approach to Higher-order E-unification (1992)

Cached

Download Links

by Daniel J. Dougherty , Patricia Johann
Venue:in Proceedings of the Eleventh International Conference on Automated Deduction, Springer-Verlag LNAI 607
Citations:9 - 3 self

Document Versions

A Combinatory Logic Approach to Higher-order E-unification –Daniel J. Dougherty, Patricia Johann — 1992 — in Proceedings of the Eleventh International Conference on Automated Deduction, Springer-Verlag LNAI 607