Pages that link to "Item:Q2142090"

The following pages link to A focus system for the alternation-free \(\mu \)-calculus (Q2142090):

Displaying 2 items.

• Focus-style proofs for the two-way alternation-free \(\mu \)-calculus (Q6118696) (← links)
• Abstract cyclic proofs (Q6160752) (← links)