Pages that link to "Item:Q1101203"
From MaRDI portal
The following pages link to On flowchart theories. II: The nondeterministic case (Q1101203):
Displayed 13 items.
- On flowchart theories. II: The nondeterministic case (Q1101203) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- Classes of finite relations as initial abstract data types. II (Q1318793) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Matrix and matricial iteration theories. I (Q2366691) (← links)
- Network algebra for asynchronous dataflow<sup>∗</sup> (Q4375420) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- Some quasi-varieties of iteration theories (Q5890058) (← links)
- The algebra of stream processing functions (Q5941194) (← links)
- Program correctness and matricial iteration theories (Q6171779) (← links)