Pages that link to "Item:Q800396"
From MaRDI portal
The following pages link to The inverse semigroup of a sum-ordered semiring (Q800396):
Displaying 24 items.
- Exploring modal worlds (Q406442) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Dedekind complete posets from sheaves on von Neumann algebras (Q513911) (← links)
- Towards a geometry of recursion (Q534710) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Tensor product of partially-additive monoids (Q1057976) (← links)
- Generalized semigroup semirings which are zero-divisor-free or multiplicatively left-cancellative (Q1184997) (← links)
- Matrix representable so-rings (Q1206779) (← links)
- Semantic models for total correctness and fairness (Q1208419) (← links)
- An extension of a Y. C. Yang theorem (Q1701728) (← links)
- Bisimulation of automata (Q1822987) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- An algebra of database preferences (Q2347915) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- An Algebraic Calculus of Database Preferences (Q2908570) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Circulations, Fuzzy Relations and Semirings (Q3521984) (← links)
- (Q3704056) (← links)
- (Q4712933) (← links)
- A categorical analogue of the monoid semiring construction (Q4911303) (← links)
- 2-Absorbing Primary Subsemimodules Over Partial Semirings (Q5164534) (← links)
- Semantic models for total correctness and fairness (Q5887518) (← links)
