Functional instantiation in first order logic (1991)
by
R. S. Boyer
,
D. M. Goldschlag
,
M. Kaufmann
,
J S. Moore
| Venue: | GROUP, UNIVERSITY OF GOTEBORG |
| Citations: | 19 - 13 self |
BibTeX
@INPROCEEDINGS{Boyer91functionalinstantiation,
author = {R. S. Boyer and D. M. Goldschlag and M. Kaufmann and J S. Moore},
title = {Functional instantiation in first order logic},
booktitle = {GROUP, UNIVERSITY OF GOTEBORG},
year = {1991},
pages = {7--26},
publisher = {Academic Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 381 | A Computational Logic Handbook - Boyer, Moore - 1988 |
| 182 | A basis for a mathematical theory of computation - McCarthy - 1963 |
| 178 | A new implementation technique for applicative languages - Turner - 1979 |
| 46 | A mechanically verified language implementation - Moore - 1989 |
| 37 | An informal introduction to specifications using Clear - Burstall, Goguen - 1981 |
| 23 | Piton: A verified assembly level language - Moore - 1988 |
| 10 | Mechanizing unity - Goldschlag - 1990 |
| 8 | Recursive Number Theory - GOODSTEIN - 1964 |
| 6 | Proof Checking Metamathematics - Shankar - 1986 |
| 1 | Mathematical Logic. Addison-Wesley. [9] Richard M - Shoenfield - 1967 |
