The following pages link to (Q3919058):
Displayed 30 items.
- A connection between concurrency and language theory (Q265802) (← links)
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- Algebras of iteration theories (Q789159) (← links)
- Algebras, polynomials and programs (Q802882) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- On context-free trees (Q1082826) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- An equational axiomatization of systolic systems (Q1122990) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← 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)
- Axiomatizing schemes and their behaviors (Q1819574) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Matrix and matricial iteration theories. I (Q2366691) (← links)
- Matrix and matricial iteration theories. II (Q2366692) (← links)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← 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)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Some quasi-varieties of iteration theories (Q5890058) (← links)
- Program correctness and matricial iteration theories (Q6171779) (← links)