Pages that link to "Item:Q1819574"
From MaRDI portal
The following pages link to Axiomatizing schemes and their behaviors (Q1819574):
Displaying 31 items.
- Algebraic characterization of reducible flowcharts (Q789162) (← links)
- Weak equivalence in a class of structured program schemes (Q797988) (← links)
- A complete axiomatic semantics of spawning (Q808281) (← links)
- FOIL axiomatized (Q865042) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- An equational axiomatization of systolic systems (Q1122990) (← links)
- A general method of axiomatizing fragments (Q1176090) (← 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)
- On schematological equivalence of partially interpreted dataflow networks (Q1373139) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On conforming axiomatics (Q1570915) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Dynamic evaluation and algebraic closure in Axiom (Q1906927) (← links)
- On schematological equivalence of dataflow networks (Q1917073) (← links)
- Towards Complete Reasoning about Axiomatic Specifications (Q3075488) (← links)
- Simplified Axiom Schemes for Implication and Iterated Implication (Q3220560) (← links)
- Axiom Pinpointing in General Tableaux (Q3406682) (← links)
- (Q3568115) (← 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)
- (Q5331449) (← links)
- An axiomatization of ECTL (Q5406125) (← links)
- (Q5751953) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898168) (← links)
- Axiomatisability Problems for <i>S</i> -Systems (Q5903562) (← links)