Pages that link to "Item:Q5208870"
From MaRDI portal
The following pages link to Computing with Infinite Terms and Infinite Reductions (Q5208870):
Displaying 9 items.
- Infinite computations and the generic finite (Q299410) (← links)
- Wadge reducibility and infinite computations (Q1001344) (← links)
- Reasoning about infinite computations (Q1341752) (← links)
- Projections for infinitary rewriting (Q1744449) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Infinitary rewriting: closure operators, equivalences and models (Q2376981) (← links)
- Projections for infinitary rewriting (extended version) (Q2424890) (← links)
- Term rewriting characterisation of LOGSPACE for finite and infinite data (Q4993339) (← links)
- Reinterpreting Compression in Infinitary Rewriting (Q5111906) (← links)