The following pages link to (Q3919058):
Displayed 18 items.
- Algebras of iteration theories (Q789159) (← links)
- Algebras, polynomials and programs (Q802882) (← links)
- On context-free trees (Q1082826) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- An equational axiomatization of systolic systems (Q1122990) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- Foundations of a theory of synchronous systems (Q1199824) (← links)
- Group axioms for iteration (Q1283821) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- Axiomatizing schemes and their behaviors (Q1819574) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Matrix and matricial iteration theories. I (Q2366691) (← links)
- Matrix and matricial iteration theories. II (Q2366692) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)