Une condition impliquant toutes les identités rationnelles
From MaRDI portal
Publication:4359289
DOI10.1051/ita/1995290605151zbMath0881.68071OpenAlexW1772686893MaRDI QIDQ4359289
Publication date: 8 October 1997
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/92522
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Semirings (16Y60)
Related Items
Algorithms for Kleene algebra with converse ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Automated Reasoning in Higher-Order Regular Algebra ⋮ Left-Handed Completeness ⋮ On Completeness of Omega-Regular Algebras ⋮ Axiomatizing rational power series over natural numbers ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ The equational logic of fixed points ⋮ Left omega algebras and regular equations ⋮ On the equational definition of the least prefixed point. ⋮ Proving language inclusion and equivalence by coinduction ⋮ Completeness for flat modal fixpoint logics ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Iteration Semirings ⋮ Completeness for Identity-free Kleene Lattices ⋮ Unnamed Item ⋮ Algebraically complete semirings and Greibach normal form ⋮ Left-handed completeness ⋮ Unnamed Item ⋮ Equational theories for automata ⋮ Completeness results for omega-regular algebras ⋮ On the fine-structure of regular algebra
Cites Work
