Pages that link to "Item:Q1254849"
From MaRDI portal
The following pages link to Program transformations and algebraic semantics (Q1254849):
Displaying 5 items.
- Some equivalent transformations of recursive programs based on their schematic properties (Q794422) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Parameter-reduction of higher level grammars (Q1099634) (← links)
- The evaluation of first-order substitution is monadic second-order compatible (Q1603690) (← links)