Program schemata and the first-order decision problem
- 28 February 1974
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 8 (1), 71-83
- https://doi.org/10.1016/s0022-0000(74)80023-1
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- On formalised computer programsJournal of Computer and System Sciences, 1970
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969