The following pages link to (Q5277876):
Displaying 11 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)
- (Q2957694) (← 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)
- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra (Q5747888) (← links)