Further results on propositional dynamic logic of nonregular programs
- 19 November 2005
- book chapter
- Published by Springer Nature
- p. 124-136
- https://doi.org/10.1007/bfb0025779
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Propositional dynamic logic of context-free programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- A near-optimal method for reasoning about actionJournal of Computer and System Sciences, 1980
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979