Pages that link to "Item:Q1327385"
From MaRDI portal
The following pages link to A completeness theorem for Kleene algebras and the algebra of regular events (Q1327385):
Displaying 50 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Canonical finite models of Kleene algebra with tests (Q299196) (← links)
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- Free inductive \(K\)-semialgebras (Q383784) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- Relations into algebras of probabilistic distributions (Q406461) (← links)
- A bialgebraic approach to automata and formal language theory (Q408529) (← links)
- Free iterative and iteration \(K\)-semialgebras (Q412016) (← links)
- On algebra of languages representable by vertex-labeled graphs (Q418730) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Fixpoints for general correctness (Q549677) (← 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)
- Internal axioms for domain semirings (Q627202) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- The equational theory of Kleene lattices (Q655418) (← links)
- Rewriting extended regular expressions (Q673635) (← links)
- On the expressiveness of single-pass instruction sequences (Q692925) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- A coalgebraic approach to Kleene algebra with tests (Q703519) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Regular algebra applied to language problems (Q817577) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Kleene modules and linear languages (Q817584) (← links)
- Abstract abstract reduction (Q817587) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Normal design algebra (Q844885) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Optimistic synchronization-based state-space reduction (Q853724) (← links)
- Axiomatizing the identities of binoid languages (Q870834) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Completions of \(\mu \)-algebras (Q925850) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- Infinitary action logic: complexity, models and grammars (Q935019) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- A note on an expressiveness hierarchy for multi-exit iteration (Q1014386) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
