The following pages link to Kleene getting lazy (Q870283):
Displayed 19 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Algebraic separation logic (Q549676) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)
- Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
- Non-termination in Idempotent Semirings (Q3498415) (← links)
- Non-associative Kleene Algebra and Temporal Logics (Q5283205) (← links)
- Domain Axioms for a Family of Near-Semirings (Q5505433) (← links)