An LCF-style interface between HOL and first-order logic (2002)
Cached
Download Links
- [www.cl.cam.ac.uk]
- [www.gilith.com]
- [gilith.com]
- DBLP
Other Repositories/Bibliography
by
Joe Hurd
| Venue: | In Andrei Voronkov, editor, Automated Deduction — CADE-18 International Conference, LNAI 2392 |
| Citations: | 30 - 4 self |
BibTeX
@INPROCEEDINGS{Hurd02anlcf-style,
author = {Joe Hurd},
title = {An LCF-style interface between HOL and first-order logic},
booktitle = {In Andrei Voronkov, editor, Automated Deduction — CADE-18 International Conference, LNAI 2392},
year = {2002},
pages = {134--138},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 3 | Hendriks and Hans de Nivelle. Automated Proof Construction in Type Theory using Resolution - Bezem, Dimitri - 2000 |
