Pages that link to "Item:Q1101203"

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^∗ (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)