Pages that link to "Item:Q2180524"

The following pages link to Infinets: the parallel syntax for non-wellfounded proof-theory (Q2180524):

Displaying 4 items.

• Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087) (← links)
• (Q5094132) (← links)
• Cyclic implicit complexity (Q6649449) (← links)
• Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs (Q6649500) (← links)