The following pages link to (Q4023829):
Displaying 5 items.
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- Strong and NV-sequentiality of constructor systems (Q1029079) (← links)
- Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) (← links)
- Termination of Lazy Rewriting Revisited (Q2873676) (← links)