Pages that link to "Item:Q5079741"
From MaRDI portal
The following pages link to Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (Q5079741):
Displaying 4 items.
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)
