The recursion-theoretic complexity of the semantics of predicate logic as a programming language
- 31 August 1982
- journal article
- Published by Elsevier in Information and Control
- Vol. 54 (1-2) , 25-47
- https://doi.org/10.1016/s0019-9958(82)91234-7
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Algorithm = logic + controlCommunications of the ACM, 1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965