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
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, A note on an expressiveness hierarchy for multi-exit iteration, There is no complete axiom system for shuffle expressions, 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
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
