The following pages link to (Q4192947):
Displaying 5 items.
- Iterative factor algebras and induced metrics (Q790606) (← links)
- Coinductive big-step operational semantics (Q1012129) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots (Q1176247) (← links)
