The following pages link to Matricial theories (Q1239362):
Displaying 29 items.
- Iterative and recursive matrix theories (Q595766) (← 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)
- Deterministic and nondeterministic flowchart interpretations (Q796975) (← links)
- On flowchart theories. II: The nondeterministic case (Q1101203) (← links)
- Parameter passing in nondeterministic recursive programs (Q1131833) (← links)
- Partially additive categories and flow-diagram semantics (Q1137858) (← links)
- In memoriam Calvin C. Elgot (Q1154455) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- Semantic models for total correctness and fairness (Q1208419) (← links)
- On the algebraic structure of rooted trees (Q1251061) (← links)
- Classes of finite relations as initial abstract data types. II (Q1318793) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Matrix and matricial iteration theories. I (Q2366691) (← links)
- Matrix and matricial iteration theories. II (Q2366692) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Fuzzy regular languages over finite and infinite words (Q2493980) (← links)
- Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata (Q2672253) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- Unique, guarded fixed points in an additive setting: extended abstract (Q2842814) (← links)
- Dagger extension theorem (Q3094166) (← links)
- Partial Conway and Iteration Semiring-Semimodule Pairs (Q3098033) (← links)
- Kleene Theorem in Partial Conway Theories with Applications (Q3098034) (← links)
- (Q4172929) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- Dynamic matrices and the cost analysis of concurrent programs (Q5096393) (← links)
- Semantic models for total correctness and fairness (Q5887518) (← links)
- The Triple-Pair Construction for Weighted ω-Pushdown Automata (Q6114867) (← links)
- Program correctness and matricial iteration theories (Q6171779) (← links)
