Pages that link to "Item:Q5738898"

The following pages link to On Hoare logic and Kleene algebra with tests (Q5738898):

Displayed 34 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)
• 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)
• 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)
• Automatic Proof Generation in Kleene Algebra (Q3498428) ‎ (← links)
• KAT-ML: an interactive theorem prover for Kleene algebra with tests (Q3647254) ‎ (← links)
• Hoare Semigroups (Q4640310) ‎ (← links)
• (Q5009432) ‎ (← links)
• Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) ‎ (← links)
• The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes (Q5277914) ‎ (← links)
• Domain Axioms for a Family of Near-Semirings (Q5505433) ‎ (← links)
• SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS (Q5850783) ‎ (← links)