Kleene getting lazy
From MaRDI portal
Publication:870283
DOI10.1016/j.scico.2006.01.010zbMath1109.68060OpenAlexW2085133105MaRDI QIDQ870283
Publication date: 12 March 2007
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/files/39117/39117.pdf
Related Items (19)
Non-associative Kleene Algebra and Temporal Logics ⋮ An algebraic approach to computations with progress ⋮ Unifying Lazy and Strict Computations ⋮ Abstract representation theorems for demonic refinement algebras ⋮ Determinisation of relational substitutions in ordered categories with domain ⋮ On the Structure of Demonic Refinement Algebras with Enabledness and Termination ⋮ Automated Reasoning for Hybrid Systems — Two Case Studies — ⋮ Non-termination in Idempotent Semirings ⋮ Enabledness and termination in refinement algebra ⋮ Algebraic neighbourhood logic ⋮ An algebraic approach to multirelations and their properties ⋮ A sketch of a dynamic epistemic semiring ⋮ Fixing Zeno gaps ⋮ Algebraic separation logic ⋮ Fixpoints for general correctness ⋮ Algebras for iteration and infinite computations ⋮ An algebra of hybrid systems ⋮ Domain Axioms for a Family of Near-Semirings ⋮ Infinite executions of lazy and strict computations
This page was built for publication: Kleene getting lazy
