Pages that link to "Item:Q5055828"
From MaRDI portal
The following pages link to Lazy rewriting and eager machinery (Q5055828):
Displaying 9 items.
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- Infinitary rewriting: meta-theory and convergence (Q884993) (← links)
- Lazy variable-renumbering makes substitution cheap (Q1114386) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- From Stack Traces to Lazy Rewriting Sequences (Q2830049) (← links)
- Lazy rewriting and context-sensitive rewriting (Q2841298) (← links)
- Lazy context cloning for non-deterministic graph rewriting (Q2867896) (← links)
- Termination of lazy rewriting revisited (Q2873676) (← links)
- (Q3430686) (← links)