Pages that link to "Item:Q3901654"
From MaRDI portal
The following pages link to Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation (Q3901654):
Displaying 21 items.
- A connection between concurrency and language theory (Q265802) (← 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)
- Fundamental properties of infinite trees (Q1055184) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Classes of finite relations as initial abstract data types. I (Q1179266) (← links)
- An algebraic model of synchronous systems (Q1186811) (← 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)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Unique, guarded fixed points in an additive setting (Q2842814) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247) (← links)
- Kleene Theorem in Partial Conway Theories with Applications (Q3098034) (← links)
