Pages that link to "Item:Q857913"
From MaRDI portal
The following pages link to Expressing combinatory reduction systems derivations in the rewriting calculus (Q857913):
Displaying 7 items.
- Elimination transformations for associative-commutative rewriting systems (Q877834) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- (Q3343462) (← links)
- iRho: an imperative rewriting calculus (Q3520144) (← links)
- (Q4249892) (← links)
- Term Rewriting and Applications (Q5703868) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898167) (← links)