The following pages link to Kleene algebra with domain (Q5277765):
Displayed 50 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Exploring modal worlds (Q406442) (← links)
- Relational style laws and constructs of linear algebra (Q406445) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Abstract abstract reduction (Q817587) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Normal design algebra (Q844885) (← links)
- On the expressive power of Kleene algebra with domain (Q903368) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- Equational theories for automata (Q2074221) (← links)
- Free Kleene algebras with domain (Q2210872) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- An algebra of database preferences (Q2347915) (← links)
- Extended feature algebra (Q2374310) (← links)
- Relations in linear algebra (Q2401016) (← links)
- Geographic wayfinders and space-time algebra (Q2423755) (← links)
- Catoids and modal convolution algebras (Q2686581) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- An Algebraic Calculus of Database Preferences (Q2908570) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- An Algebra of Layered Complex Preferences (Q2915151) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- Learning in a Changing World, an Algebraic Modal Logical Approach (Q3067471) (← links)
- Algebra of Monotonic Boolean Transformers (Q3098056) (← links)
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← links)
- Concurrent Kleene Algebra (Q3184688) (← links)
- Partial Maps with Domain and Range: Extending Schein's Representation (Q3395624) (← links)
- Latest News about Demonic Algebra with Domain (Q3498405) (← links)