The following pages link to (Q5277876):
Displaying 9 items.
- Projections for infinitary rewriting (Q1744449) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Projections for infinitary rewriting (extended version) (Q2424890) (← links)
- Degrees of Infinite Words, Polynomials and Atoms (Q2817385) (← links)
- (Q4600775) (← links)
- (Q5109521) (← links)
- The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them (Q5140030) (← links)
- (Q5216302) (← links)
- Clocks for Functional Programs (Q5410452) (← links)
