Pages that link to "Item:Q1819574"
From MaRDI portal
The following pages link to Axiomatizing schemes and their behaviors (Q1819574):
Displaying 14 items.
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- An equational axiomatization of systolic systems (Q1122990) (← 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)
- The equational logic of fixed points (Q1391734) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Equational axioms for regular sets (Q4279247) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- THE POWER OF THE GROUP-IDENTITIES FOR ITERATION (Q4786253) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- The monoidal structure of Turing machines (Q4917187) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- (Q5751953) (← links)
