Proving total correctness of nondeterministic programs in infinitary logic
- 1 June 1981
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 15 (3) , 233-249
- https://doi.org/10.1007/bf00289263
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Semantics of unbounded nondeterminismPublished by Springer Nature ,1980
- do considered od: A contribution to the programming calculusActa Informatica, 1979
- Fundamentals of Model TheoryPublished by Elsevier ,1977
- An Introduction to First-Order LogicPublished by Elsevier ,1977
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971
- Remarks on the theory of geometrical constructionsPublished by Springer Nature ,1968