Pages that link to "Item:Q820135"
From MaRDI portal
The following pages link to Algebras of modal operators and partial correctness (Q820135):
Displaying 24 items.
- Exploring modal worlds (Q406442) (← links)
- 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)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- On the expressive power of Kleene algebra with domain (Q903368) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- Semigroup actions on posets and preimage quasi-orders (Q1939489) (← links)
- How to generalise demonic composition (Q2227636) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- D-semigroups and constellations (Q2362754) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← links)
- Domain and Range Operations in Semigroups and Rings (Q3448274) (← 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)
