Unbounded program memory adds to the expressive power of first-order programming logic
- 31 March 1984
- journal article
- Published by Elsevier in Information and Control
- Vol. 60 (1-3) , 12-35
- https://doi.org/10.1016/s0019-9958(84)80020-0
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Expressing program looping in regular dynamic logicTheoretical Computer Science, 1982
- Definability in dynamic logicJournal of Computer and System Sciences, 1981
- The unwind property in certain algebrasInformation and Control, 1981
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- Theory of Program Structures: Schemes, Semantics, VerificationPublished by Springer Nature ,1975
- An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 1960