Pages that link to "Item:Q1327385"

The following pages link to A completeness theorem for Kleene algebras and the algebra of regular events (Q1327385):

Displaying 47 items.

• Towards a unified view of finite automata and semi-Markov flowgraph models (Q3654550) (← links)
• Equational axioms for regular sets (Q4279247) (← links)
• Domain mu-calculus (Q4460689) (← links)
• Axiomatizations for the perpetual loop in process algebra (Q4571987) (← links)
• Nonfinite axiomatizability of the equational theory of shuffle (Q4645164) (← links)
• A Fully Equational Proof of Parikh's Theorem (Q4787831) (← links)
• A Coalgebraic View of Infinite Trees and Iteration (Q4917030) (← links)
• A Generalisation of Stationary Distributions, and Probabilistic Program Algebra (Q4917061) (← links)
• A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
• Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
• (Q5014442) (← links)
• COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
• Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
• (Q5079743) (← links)
• Convolution and concurrency (Q5084483) (← links)
• A completeness theorem for nondeterministic Kleene algebras (Q5096912) (← links)
• Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
• (Q5111639) (← links)
• (Q5155670) (← links)
• (Q5155681) (← links)
• Coinductive Algorithms for Büchi Automata (Q5158653) (← links)
• Left-Handed Completeness for Kleene algebra, via Cyclic Proofs (Q5222960) (← links)
• Computing with relational machines (Q5269008) (← links)
• Concurrent Dynamic Algebra (Q5277895) (← links)
• The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes (Q5277914) (← links)
• Non-associative Kleene Algebra and Temporal Logics (Q5283205) (← links)
• Algebraic Investigation of Connected Components (Q5283206) (← links)
• Stone Relation Algebras (Q5283207) (← links)
• Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras (Q5283211) (← links)
• Quasivarieties and varieties of ordered algebras: regularity and exactness (Q5361148) (← links)
• (Q5377470) (← links)
• Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
• Modal Tools for Separation and Refinement (Q5403464) (← links)
• Verification of the correctness of compiler optimization using co-induction (Q5421199) (← links)
• (Q5875344) (← links)
• Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
• Reordering Derivatives of Trace Closures of Regular Languages. (Q5875402) (← links)
• (Q5875403) (← links)
• An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem (Q5875891) (← links)
• A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
• Linear preservers for matrices over a class of semirings (Q5888871) (← links)
• A complete inference system for skip-free guarded Kleene algebra with tests (Q6535242) (← links)
• Kleene algebra of weighted programs with domain (Q6546613) (← links)
• Shades of iteration: from Elgot to Kleene (Q6562517) (← links)
• Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)
• Kleene theorems for lasso languages and \(\omega \)-languages (Q6636074) (← links)
• Implicational Kleene algebra with domain and the substructural logic of partial correctness (Q6646014) (← links)