Pages that link to "Item:Q820135"
From MaRDI portal
The following pages link to Algebras of modal operators and partial correctness (Q820135):
Displayed 13 items.
- Algebraic separation logic (Q549676) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Semigroup actions on posets and preimage quasi-orders (Q1939489) (← links)
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← links)
- Non-termination in Idempotent Semirings (Q3498415) (← links)
- The Structure of the One-Generated Free Domain Semiring (Q3498417) (← links)
- Knowledge and Games in Modal Semirings (Q3498424) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS (Q5850783) (← links)