Pages that link to "Item:Q3911392"
From MaRDI portal
The following pages link to Vector Iteration in Pointed Iterative Theories (Q3911392):
Displayed 25 items.
- Calvin C. Elgot (1922-1980) (Q788706) (← links)
- Algebras of iteration theories (Q789159) (← links)
- Recursion and iteration in continuous theories: the ''M-construction'' (Q790235) (← links)
- All solutions of a system of recursion equations in infinite trees and other contraction theories (Q791310) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- On flowchart theories. II: The nondeterministic case (Q1101203) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- In memoriam Calvin C. Elgot (Q1154455) (← 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)
- Recursion and corecursion have the same equational logic (Q1398467) (← links)
- A note on guarded theories (Q1813969) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Unique, guarded fixed points in an additive setting (Q2842814) (← links)
- Dagger extension theorem (Q3094166) (← links)
- Kleene Theorem in Partial Conway Theories with Applications (Q3098034) (← links)
- THE POWER OF THE GROUP-IDENTITIES FOR ITERATION (Q4786253) (← links)
- Some quasi-varieties of iteration theories (Q5890058) (← links)
- Program correctness and matricial iteration theories (Q6171779) (← links)