Pages that link to "Item:Q3137712"
From MaRDI portal
The following pages link to Deciding Properties of Nonregular Programs (Q3137712):
Displayed 7 items.
- Bisimilar and logically equivalent programs in PDL (Q281144) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- Bisimilar and logically equivalent programs in PDL with parallel operator (Q2358700) (← links)
- Propositional dynamic logic with recursive programs (Q2643333) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- Propositional Dynamic Logic with Program Quantifiers (Q5415640) (← links)
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic (Q6104378) (← links)