Pages that link to "Item:Q2946330"

The following pages link to Exponential-Size Model Property for PDL with Separating Parallel Composition (Q2946330):

Displaying 2 items.

• 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)