## Higher-order logic programming

### Cached

### Download Links

by
Gopalan Nadathur
,
Dale Miller

Venue: | HANDBOOK OF LOGIC IN AI AND LOGIC PROGRAMMING, VOLUME 5: LOGIC PROGRAMMING. OXFORD (1998 |

Citations: | 155 - 16 self |

### BibTeX

@INPROCEEDINGS{Nadathur_higher-orderlogic,

author = {Gopalan Nadathur and Dale Miller},

title = { Higher-order logic programming},

booktitle = {HANDBOOK OF LOGIC IN AI AND LOGIC PROGRAMMING, VOLUME 5: LOGIC PROGRAMMING. OXFORD (1998},

year = {},

publisher = {}

}