Pages that link to "Item:Q3454121"

The following pages link to Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121):

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)