Five axioms of alpha-conversion (1996)
Cached
Download Links
- [web.comlab.ox.ac.uk]
- [ftp.cl.cam.ac.uk]
- [ftp.dcs.gla.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Andrew D. Gordon
,
Tom Melham
| Venue: | Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL |
| Citations: | 49 - 0 self |
Document Versions
| Five axioms of alpha-conversion –Andrew D. Gordon, Tom Melham — 1996 — Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL |
| Five Axioms of Alpha-Conversion –Andrew Gordon, Tom Melham — 1996 — Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL |
| Five Axioms of Alpha-Conversion –Andrew D. Gordon, T. Melham — 1996 — Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL |
