Lcf: A way of doing proofs with a machine
- 1 January 1979
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 146-159
- https://doi.org/10.1007/3-540-09526-8_11
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Prolegomena to a Theory of Formal ReasoningPublished by Defense Technical Information Center (DTIC) ,1978
- A Metalanguage for interactive proof in LCFPublished by Association for Computing Machinery (ACM) ,1978
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Semantical consideration on floyo-hoare logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- Data Types as LatticesSIAM Journal on Computing, 1976
- The mathematical language AUTOMATH, its usage, and some of its extensionsPublished by Springer Nature ,1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965