Equational axioms for regular sets
From MaRDI portal
Recommendations
- Matrix and matricial iteration theories. I
- Group axioms for iteration
- Inductive \(^{*}\)-semirings
- Iteration Semirings
- Equational theories for automata
- Matrix and matricial iteration theories. II
- A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
- A completeness theorem for Kleene algebras and the algebra of regular events
- scientific article; zbMATH DE number 1136085
- A coinductive equational characterisation of trace inclusion for regular processes
Cites work
- A completeness theorem for Kleene algebras and the algebra of regular events
- Axiomatizing schemes and their behaviors
- Equational logic of circular data type specification
- Floyd-Hoare logic in iteration theories
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- scientific article; zbMATH DE number 3588051 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- Two Complete Axiom Systems for the Algebra of Regular Events
- Varieties of Iteration Theories
Cited in
(52)- Equational properties of iteration in algebraically complete categories
- On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based
- Group axioms for iteration
- A completeness theorem for Kleene algebras and the algebra of regular events
- On dynamic algebras
- Notes on equational theories of relations
- An equational axiomatization for multi-exit iteration
- Nonaxiomatisability of equivalences over finite state processes
- Axiomatizing shuffle and concatenation in languages
- The equational logic of fixed points
- Completeness of Park induction
- Recursion and corecursion have the same equational logic
- Infinite trees and completely iterative theories: A coalgebraic view
- The multiplicative fragment of the Yanov equational theory
- On the equational definition of the least prefixed point.
- On axioms for commutative regular equations without addition.
- Automata, Boolean matrices, and ultimate periodicity.
- On equations for union-free regular languages
- Inductive \(^{*}\)-semirings
- The variety of Kleene algebras with conversion is not finitely based
- Equational theories for automata
- On theory of regular languages with the Kleene star operation
- A string diagrammatic axiomatisation of finite-state automata
- On the fine-structure of regular algebra
- Matrix and matricial iteration theories. I
- Matrix and matricial iteration theories. II
- Axiomatizing rational power series over natural numbers
- On the complexity of reasoning in Kleene algebra
- Matrices, machines and behaviors
- A connection between concurrency and language theory
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- scientific article; zbMATH DE number 3883630 (Why is no real title available?)
- Iteration Semirings
- Bisimulations for fuzzy automata
- Regular_Algebras
- Domain mu-calculus
- An Equational Axiomatization of Bisimulation over Regular Expressions
- Nonfinite axiomatizability of the equational theory of shuffle
- A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
- On the geometry and algebra of networks with state
- Fixing Zeno gaps
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Parametric corecursion
- The algebra of stream processing functions
- Equational properties of iterative monads
- Fixed-point operations on ccc's. I
- Equational properties of Kleene algebras of relations with conversion
- The calculus of signal flow diagrams. I: Linear relations on streams.
- Axiomatizing the equational theory of regular tree languages
- Axiomatizing the identities of binoid languages
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
- Completions of -algebras
This page was built for publication: Equational axioms for regular sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4279247)
