Pages that link to "Item:Q2142087"

The following pages link to Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087):

Displaying 2 items.

• From GTC to \textsc{Reset}: generating reset proof systems from cyclic proof systems (Q6584957) (← links)
• Abstract cyclic proofs (Q6646012) (← links)