The following pages link to (Q5277876):
Displaying 5 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)
