Searching for "Propositional Dynamic Logic of Context-Free Programs" – sorted by Relevance.
2 documents found, showing 1 through 2.
-
On Axiomatizations for Propositional Logics of Programs
- … Dynamic Logic of Context-Free Programs 37 5.1 The Validity Problem .............................. 37 15…
- Cited by 1 (1 self) – Add To MetaCart
-
Verification of Infinite-state Systems
- …-checking of context-free and push-down processes [1,2,9] and to propositional dynamic logics with context-free…
- Add To MetaCart
Showing 1 through 2.
