Complete systems of \(\mathcal B\)-rational identities
From MaRDI portal
Publication:1177930
DOI10.1016/0304-3975(91)90395-IzbMath0737.68053MaRDI QIDQ1177930
Publication date: 26 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (70)
Equational theories of tropical semirings ⋮ A Finite Axiomatisation of Finite-State Automata Using String Diagrams ⋮ THE POWER OF THE GROUP-IDENTITIES FOR ITERATION ⋮ Some quasi-varieties of iteration theories ⋮ Inductive \(^{*}\)-semirings ⋮ On syntactic nuclei of rational languages ⋮ A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring ⋮ On dynamic algebras ⋮ *-Continuous Kleene $$\omega $$-Algebras ⋮ Notes on equational theories of relations ⋮ Nonfinite axiomatizability of the equational theory of shuffle ⋮ Unnamed Item ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Left-Handed Completeness ⋮ On Completeness of Omega-Regular Algebras ⋮ Conway's work on iteration ⋮ Axiomatizing rational power series over natural numbers ⋮ Inductive semimodules and the vector modules over them. ⋮ Rational and Recognisable Power Series ⋮ An equational axiomatization for multi-exit iteration ⋮ On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra ⋮ Axiomatizing the identities of binoid languages ⋮ Nonaxiomatisability of equivalences over finite state processes ⋮ Equational properties of iteration in algebraically complete categories ⋮ Free inductive \(K\)-semialgebras ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Solving polynomial fixed point equations ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ Cyclic hypersequent system for transitive closure logic ⋮ The multiplicative fragment of the Yanov equational theory ⋮ Free iterative and iteration \(K\)-semialgebras ⋮ On the equational definition of the least prefixed point. ⋮ Unnamed Item ⋮ On tools for completeness of Kleene algebra with hypotheses ⋮ Completeness for flat modal fixpoint logics ⋮ The convergent behavior for parametric generalized vector equilibrium problems ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Iteration Semirings ⋮ Models of nondeterministic regular expressions ⋮ Une condition impliquant toutes les identités rationnelles ⋮ A string diagrammatic axiomatisation of finite-state automata ⋮ The variety of Kleene algebras with conversion is not finitely based ⋮ Completeness for Identity-free Kleene Lattices ⋮ Rewriting extended regular expressions ⋮ Equational properties of Kleene algebras of relations with conversion ⋮ Models of a \(K\)-rational identity system ⋮ Unnamed Item ⋮ Algebraically complete semirings and Greibach normal form ⋮ A Finite Axiomatization of Nondeterministic Regular Expressions ⋮ On the complexity of reasoning in Kleene algebra ⋮ Left-handed completeness ⋮ Completeness theorems for Kleene algebra with tests and top ⋮ A note on an expressiveness hierarchy for multi-exit iteration ⋮ There is no complete axiom system for shuffle expressions ⋮ On tools for completeness of Kleene algebra with hypotheses ⋮ On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based ⋮ Partial Conway and Iteration Semiring-Semimodule Pairs ⋮ Group axioms for iteration ⋮ Automata and rational expressions ⋮ Equational theories for automata ⋮ Unique, guarded fixed points in an additive setting ⋮ Discrete-Event Systems in a Dioid Framework: Control Theory ⋮ Automata, Boolean matrices, and ultimate periodicity. ⋮ On equations for union-free regular languages ⋮ Cyclic proofs, hypersequents, and transitive closure logic ⋮ Completeness results for omega-regular algebras ⋮ On the fine-structure of regular algebra ⋮ Conway and iteration hemirings Part 1 ⋮ A Fully Equational Proof of Parikh's Theorem
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some remarks on the four-spiral semigroup
- Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
- Une remarque sur les systèmes complets d'identités rationnelles
- On finite monoids having only trivial subgroups
- Two Complete Axiom Systems for the Algebra of Regular Events
- On regular expressions and regular canonical systems
- Derivatives of Regular Expressions
This page was built for publication: Complete systems of \(\mathcal B\)-rational identities
