Pages that link to "Item:Q627134"
From MaRDI portal
The following pages link to Levels of undecidability in rewriting (Q627134):
Displayed 6 items.
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- Transducer degrees: atoms, infima and suprema (Q2182680) (← links)
- On the complexity of stream equality (Q2875229) (← links)
- Termination of Cycle Rewriting by Transformation and Matrix Interpretation (Q2980975) (← links)
- Decreasing diagrams with two labels are complete for confluence of countable systems (Q4993340) (← links)
- (Q5109511) (← links)