More on looping vs. repeating in dynamic logic
- 1 February 1985
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 20 (2) , 87-90
- https://doi.org/10.1016/0020-0190(85)90069-9
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Looping vs. repeating in dynamic logicInformation and Control, 1982
- Expressing program looping in regular dynamic logicTheoretical Computer Science, 1982
- Definability in dynamic logicJournal of Computer and System Sciences, 1981