Pages that link to "Item:Q5738898"
From MaRDI portal
The following pages link to On Hoare logic and Kleene algebra with tests (Q5738898):
Displaying 32 items.
- Canonical finite models of Kleene algebra with tests (Q299196) (← links)
- Boolean-like algebras (Q353355) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Algebraic separation logic (Q549676) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- On the expressiveness of single-pass instruction sequences (Q692925) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- On the expressive power of Kleene algebra with domain (Q903368) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- The Laws of Programming Unify Process Calculi (Q2908555) (← links)
- Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138) (← links)
- Laws of Programming for References (Q2937790) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← links)
- On the Coalgebraic Theory of Kleene Algebra with Tests (Q3299849) (← links)
- Partial Maps with Domain and Range: Extending Schein's Representation (Q3395624) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- (Q5079743) (← links)
- (Q5875403) (← links)
