Pages that link to "Item:Q5179014"
From MaRDI portal
The following pages link to Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014):
Displaying 4 items.
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Bisimilar and logically equivalent programs in PDL with parallel operator (Q2358700) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Exponential-Size Model Property for PDL with Separating Parallel Composition (Q2946330) (← links)
