Kleene algebra with domain
From MaRDI portal
Publication:5277765
Recommendations
- On the expressive power of Kleene algebra with domain
- On the complexity of Kleene algebra with domain
- Free Kleene algebras with domain
- On Kleene algebras
- Relational and Kleene-Algebraic Methods in Computer Science
- Kleene algebra with hypotheses
- Kleene algebra with converse
- Kleene algebra with observations
- Kleene algebras with implication
- Kleene algebra with products and iteration theories
Cited in
(95)- An algebra of hybrid systems
- Characterizing determinacy in Kleene algebras
- Domain and range for angelic and demonic compositions
- Kleene algebra of partial predicates
- Equational theories for automata
- Free Kleene algebras with domain
- Monoids with tests and the algebra of possibly non-halting programs
- Modal algebra and Petri nets
- Extended transitive separation logic
- Infinite executions of lazy and strict computations
- An algebra of database preferences
- Extended feature algebra
- Relations in linear algebra
- Geographic wayfinders and space-time algebra
- Catoids and modal convolution algebras
- r-multisemigroups, modal quantales and the origin of locality
- On algebra of program correctness and incorrectness
- An algebraic calculus of database preferences
- Transitive Separation Logic
- Unifying lazy and strict computations
- Towards an algebra for real-time programs
- An Algebra of Layered Complex Preferences
- Exploring an interface model for CKA
- An algebraic approach to computations with progress
- Developments in concurrent Kleene algebra
- Learning in a changing world, an algebraic modal logical approach
- Algebra of monotonic Boolean transformers
- Modal restriction semigroups: towards an algebra of functions.
- Concurrent Kleene Algebra
- Partial Maps with Domain and Range: Extending Schein's Representation
- Latest News about Demonic Algebra 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
- The Structure of the One-Generated Free Domain Semiring
- Determinisation of Relational Substitutions in Ordered Categories with Domain
- Knowledge and Games in Modal Semirings
- Probabilistic Choice in Refinement Algebra
- Modal Semirings Revisited
- KAT-ML: an interactive theorem prover for Kleene algebra with tests
- Exploring modal worlds
- Relational style laws and constructs of linear algebra
- Hopscotch -- reaching the target hop by hop
- A relation-algebraic approach to the ``Hoare logic of functional dependencies
- Kleene Algebra
- Algebraic_VCs
- KAD
- Undecidability of representability as binary relations
- Algebraic properties of if-then-else and commutative three-valued tests
- Algebraic coherent confluence and higher globular Kleene algebras
- The \theta -Join as a Join with \theta
- A Hierarchy of Algebras for Boolean Subsets
- Concurrent dynamic algebra
- Relations as images
- Non-associative Kleene Algebra and Temporal Logics
- Algebraic investigation of connected components
- Mathematics of Program Construction
- Modal tools for separation and refinement
- Demonic Algebra with Domain
- Concurrent Kleene algebra and its foundations
- Collagories: relation-algebraic reasoning for gluing constructions
- Normal forms in total correctness for while programs and action systems
- Domain Axioms for a Family of Near-Semirings
- Relational and Kleene-Algebraic Methods in Computer Science
- Relational and Kleene-Algebraic Methods in Computer Science
- Quantales
- Abstract representation theorems for demonic refinement algebras
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings
- Determinisation of relational substitutions in ordered categories with domain
- Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
- Local completeness logic on Kleene algebra with tests
- On the complexity of Kleene algebra with domain
- Internal axioms for domain semirings
- Kleene algebra of weighted programs with domain
- Implicational Kleene algebra with domain and the substructural logic of partial correctness
- Domain reasoning in TopKAT
- On propositional program equivalence (extended abstract)
- Some uses of modal semirings
- Undecidability of the positive calculus of relations with transitive closure and difference: hypothesis elimination using graph loops
- Finite relational semantics for language Kleene algebra with complement
- A complete propositional dynamic logic for regular expressions with lookahead
- A Hierarchy of Algebras for Boolean Subsets
- Formalization of Refinement Calculus for Reactive Systems
- Algebra of Monotonic Boolean Transformers
- Kleene under a modal demonic star
- Abstract abstract reduction
- Algebras of modal operators and partial correctness
- Normal design algebra
- Describing data flow analysis techniques with Kleene algebra
- On the expressive power of Kleene algebra with domain
- The algebra of functions with antidomain and range
- Enabledness and termination in refinement algebra
- Algebraic neighbourhood logic
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
- A sketch of a dynamic epistemic semiring
This page was built for publication: Kleene algebra with domain
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5277765)
