Publication:4391451
From MaRDI portal
zbMath0900.68129MaRDI QIDQ4391451
Gopalan Nadathur, Dale A. Miller
Publication date: 3 June 1998
68N17: Logic programming
Related Items
Universal algebra in higher types, Unification under a mixed prefix, The Qu-Prolog unification algorithm: formalisation and correctness, Proof-search in type-theoretic languages: An introduction, Higher-order unification via combinators