Pages that link to "Item:Q5736455"
From MaRDI portal
The following pages link to A Perspective View of Discrete Automata and Their Design (Q5736455):
Displayed 31 items.
- Iterative and recursive matrix theories (Q595766) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- On second-order iterative monads (Q639639) (← links)
- Fixed-point operations on ccc's. I (Q672122) (← links)
- Calvin C. Elgot (1922-1980) (Q788706) (← links)
- All solutions of a system of recursion equations in infinite trees and other contraction theories (Q791310) (← links)
- Weak equivalence in a class of structured program schemes (Q797988) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Bases for parametrized iterativity (Q1004388) (← links)
- P-varieties - a signature independent characterization of varieties of ordered algebras (Q1054761) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Higher-level synchronising devices in Meije-SCCS (Q1079949) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- An equational axiomatization of systolic systems (Q1122990) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Parameter passing in nondeterministic recursive programs (Q1131833) (← links)
- Partially additive categories and flow-diagram semantics (Q1137858) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- In memoriam Calvin C. Elgot (Q1154455) (← links)
- Regular trees and the free iterative theory (Q1169813) (← links)
- On rational definitions in complete algebras without rank (Q1171374) (← links)
- Classes of finite relations as initial abstract data types. I (Q1179266) (← links)
- Scalar and vector iteration (Q1238420) (← links)
- On the algebraic structure of rooted trees (Q1251061) (← links)
- A semantically meaningful characterization of reducible flowchart schemes (Q1254851) (← links)
- On the fixing group for a totally pre-ordered Boolean function (Q1258718) (← links)
- Completeness of Park induction (Q1391869) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- Completely iterative algebras and completely iterative monads (Q1767976) (← links)
- Matrix and matricial iteration theories. I (Q2366691) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)