Pages that link to "Item:Q627202"
From MaRDI portal
The following pages link to Internal axioms for domain semirings (Q627202):
Displayed 26 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Relational style laws and constructs of linear algebra (Q406445) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- On the expressive power of Kleene algebra with domain (Q903368) (← links)
- Left omega algebras and regular equations (Q1931903) (← links)
- Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)
- Free Kleene algebras with domain (Q2210872) (← links)
- How to generalise demonic composition (Q2227636) (← links)
- Ordered domain algebras (Q2446547) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← links)
- Hoare Semigroups (Q4640310) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- A Hierarchy of Algebras for Boolean Subsets (Q5098719) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests (Q6160745) (← links)
- On the complexity of Kleene algebra with domain (Q6174424) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)