Functional Instantiation in First-Order Logic
- 1 January 1991
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A mechanically verified language implementationJournal of Automated Reasoning, 1989
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979