Une condition impliquant toutes les identités rationnelles

DOI10.1051/ITA/1995290605151MaRDI QIDQ4359289zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 4210141 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• Complete systems of \(\mathcal B\)-rational identities
• Une remarque sur les systèmes complets d'identités rationnelles

Cited in

(23)

• Equational properties of fixed point operations in Cartesian categories: an overview
• On the fine-structure of regular algebra
• On completeness of omega-regular algebras
• scientific article; zbMATH DE number 7533344 (Why is no real title available?)
• Axiomatizing the equational theory of regular tree languages
• Completeness for flat modal fixpoint logics
• The equational logic of fixed points
• Algorithms for Kleene algebra with converse
• Algebraically complete semirings and Greibach normal form
• Equational properties of fixed-point operations in Cartesian categories: an overview
• Left-handed completeness
• Axiomatizing rational power series over natural numbers
• Proving language inclusion and equivalence by coinduction
• Iteration Semirings
• Completeness theorems for Kleene algebra with tests and top
• Left omega algebras and regular equations
• Left-handed completeness
• scientific article; zbMATH DE number 7204945 (Why is no real title available?)
• Completeness results for omega-regular algebras
• Equational theories for automata
• On the equational definition of the least prefixed point.
• Completeness for identity-free Kleene lattices
• Automated Reasoning in Higher-Order Regular Algebra

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4359289)