Looping vs. repeating in dynamic logic
- 31 December 1982
- journal article
- Published by Elsevier in Information and Control
- Vol. 55 (1-3) , 175-192
- https://doi.org/10.1016/s0019-9958(82)90553-8
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Propositional dynamic logic of looping and converse is elementarily decidableInformation and Control, 1982
- Expressing program looping in regular dynamic logicTheoretical Computer Science, 1982
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966