Pages that link to "Item:Q3608779"
From MaRDI portal
The following pages link to Automated Reasoning in Kleene Algebra (Q3608779):
Displaying 15 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Algebraic separation logic (Q549676) (← links)
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- Normal design algebra (Q844885) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
