The following pages link to (Q3012528):
Displaying 19 items.
- Lazy productivity via termination (Q549188) (← links)
- Infinitary combinatory reduction systems (Q550248) (← links)
- Levels of undecidability in rewriting (Q627134) (← links)
- Productivity of stream definitions (Q846366) (← links)
- Applications of infinitary lambda calculus (Q1021568) (← links)
- Projections for infinitary rewriting (Q1744449) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- Transducer degrees: atoms, infima and suprema (Q2182680) (← links)
- Projections for infinitary rewriting (extended version) (Q2424890) (← links)
- On Normalisation of Infinitary Combinatory Reduction Systems (Q3522017) (← links)
- Normalization of Infinite Terms (Q3522036) (← links)
- Proving Infinitary Normalization (Q3638246) (← links)
- Degrees of Undecidability in Term Rewriting (Q3644753) (← links)
- Strong normalization of barrecursive terms without using infinite terms (Q3739119) (← links)
- (Q4205073) (← links)
- (Q4600775) (← links)
- (Q5089021) (← links)
- (Q5094133) (← links)
- (Q5109521) (← links)