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:	145 - 14 self

Datum	Value	Source
TITLE	D.: Higher-order logic programming	INFERENCE
AUTHOR NAME	Gopalan Nadathur	SVM HeaderParse 0.2
AUTHOR AFFIL	Computer Science Department, Duke University	SVM HeaderParse 0.2
AUTHOR ADDR	Durham, NC 27706	SVM HeaderParse 0.2
AUTHOR NAME	Dale Miller	SVM HeaderParse 0.2
AUTHOR AFFIL	; Computer Science Department, University of Pennsylvania; of Computer Science, University of Chicago, Ryerson Laboratory	SVM HeaderParse 0.2
AUTHOR ADDR	; Philadelphia, PA 19104-6389 USA; 1100 E. 58th Street, Chicago, IL 60637, Email:	SVM HeaderParse 0.2
VENUE	Handbook of Logic in AI and Logic Programming, Volume 5: Logic Programming. Oxford (1998	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
CITATIONS	34 found	ParsCit 1.0