Pages that link to "Item:Q5055828"

The following pages link to Lazy rewriting and eager machinery (Q5055828):

Displaying 2 items.

• Infinitary rewriting: meta-theory and convergence (Q884993) (← links)
• Applications and extensions of context-sensitive rewriting (Q2043816) (← links)