Pages that link to "Item:Q1151016"
From MaRDI portal
The following pages link to An algebraic definition for control structures (Q1151016):
Displaying 8 items.
- The solutions of two star-height problems for regular trees (Q760212) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Étude et implémentation d'un système de déduction pour logique algorithmique (Q3802671) (← links)
- (Q3883458) (← links)
- (Q4192947) (← links)
- Rational rewriting (Q5096902) (← links)
- Checking equivalence of corecursive streams: an inductive procedure (Q6589842) (← links)