Higher-order logic programming

by Gopalan Nadathur , Dale Miller
Venue:HANDBOOK OF LOGIC IN AI AND LOGIC PROGRAMMING, VOLUME 5: LOGIC PROGRAMMING. OXFORD (1998
Citations:153 - 16 self

Document Versions

Higher-order logic programming –Gopalan Nadathur, Dale Miller — HANDBOOK OF LOGIC IN AI AND LOGIC PROGRAMMING, VOLUME 5: LOGIC PROGRAMMING. OXFORD (1998
Abstractions in logic programming –Dale Miller — 1990 — In Peirgiorgio Odifreddi, editor, Logic and Computer Science
Higher-order logic programming –Dale Miller, Edited Dale Miller — 1990 — In Int. Conf. on Logic Programming
Higher-Order Logic Programming –Gopalan Nadathur, Dale Miller — 1994
Higher-Order Logic Programming –Gopalan Nadathur, Gopalan Nadathur, Dale Miller, Dale Miller — 1986 — 3rd Int. Conf. Logic Programming, LNCS 225