Pages that link to "Item:Q5505433"
From MaRDI portal
The following pages link to Domain Axioms for a Family of Near-Semirings (Q5505433):
Displaying 15 items.
- Fixpoints for general correctness (Q549677) (← links)
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- On the expressive power of Kleene algebra with domain (Q903368) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- Free Kleene algebras with domain (Q2210872) (← links)
- Ordered domain algebras (Q2446547) (← links)
- Restriction Semigroups and Inductive Constellations (Q3406596) (← links)
- Radicals and Ideals of Affine Near-Semirings Over Brandt Semigroups (Q3449719) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- A Hierarchy of Algebras for Boolean Subsets (Q5098719) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- Taming Multirelations (Q5278188) (← links)
- Affine Near-Semirings Over Brandt Semigroups (Q5495301) (← links)
