Using graphs to understand PDL
- 19 November 2005
- book chapter
- Published by Springer Nature
- p. 387-396
- https://doi.org/10.1007/bfb0025792
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Dynamic algebras and the nature of inductionPublished by Association for Computing Machinery (ACM) ,1980
- Models of program logicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- The completeness of propositional dynamic logicLecture Notes in Computer Science, 1978
- Translating Program Schemas to While-SchemasSIAM Journal on Computing, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967