Une condition impliquant toutes les identités rationnelles

DOI10.1051/ITA/1995290605151zbMath0881.68071OpenAlexW1772686893MaRDI QIDQ4359289

Maurice Boffa

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

zbMATH Keywords

idempotentsemiringsrational identities

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Semirings (16Y60)

Related Items (23)

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 ⋮ Completeness theorems for Kleene algebra with tests and top ⋮ Equational theories for automata ⋮ Completeness results for omega-regular algebras ⋮ On the fine-structure of regular algebra

Cites Work

• Complete systems of \(\mathcal B\)-rational identities
• Une remarque sur les systèmes complets d'identités rationnelles
• Unnamed Item
• Unnamed Item

This page was built for publication: Une condition impliquant toutes les identités rationnelles