Pages that link to "Item:Q1602554"
From MaRDI portal
The following pages link to On the completeness of propositional Hoare logic (Q1602554):
Displaying 12 items.
- Completeness of Hoare logic with inputs over the standard model (Q896915) (← links)
- The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic (Q1712495) (← links)
- Equational theories for automata (Q2074221) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- A genetically modified Hoare logic (Q2422014) (← links)
- Completeness of Hoare Logic Relative to the Standard Model (Q2971129) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Partial Derivative Automata Formalized in Coq (Q3073622) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes (Q5277914) (← links)
