Une condition impliquant toutes les identités rationnelles
From MaRDI portal
Publication:4359289
DOI10.1051/ITA/1995290605151zbMATH Open0881.68071OpenAlexW1772686893MaRDI QIDQ4359289FDOQ4359289
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
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Semirings (16Y60)
Cites Work
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
- Title not available (Why is that?)
- 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
- Equational properties of fixed-point operations in Cartesian categories: an overview
- Algebraically complete semirings and Greibach normal form
- Left-handed completeness
- Axiomatizing rational power series over natural numbers
- Iteration Semirings
- Proving language inclusion and equivalence by coinduction
- Completeness theorems for Kleene algebra with tests and top
- Left omega algebras and regular equations
- Left-handed completeness
- Title not available (Why is that?)
- Completeness results for omega-regular algebras
- Equational theories for automata
- Completeness for identity-free Kleene lattices
- On the equational definition of the least prefixed point.
- 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)
