Une condition impliquant toutes les identités rationnelles
RAIRO. Informatique théorique et applications, Tome 29 (1995) no. 6, pp. 515-518
@article{ITA_1995__29_6_515_0,
author = {Boffa, M.},
title = {Une condition impliquant toutes les identit\'es rationnelles},
journal = {RAIRO. Informatique th\'eorique et applications},
pages = {515--518},
year = {1995},
publisher = {EDP-Sciences},
volume = {29},
number = {6},
mrnumber = {1377029},
zbl = {0881.68071},
language = {fr},
url = {https://www.numdam.org/item/ITA_1995__29_6_515_0/}
}
Boffa, M. Une condition impliquant toutes les identités rationnelles. RAIRO. Informatique théorique et applications, Tome 29 (1995) no. 6, pp. 515-518. https://www.numdam.org/item/ITA_1995__29_6_515_0/
1. , Une remarque sur les systèmes complets d'identités rationnelles, Informatique théorique et Applications/Theoretical Informatics and Applications, 1990, 24, p. 419-423. | Zbl | MR | Numdam
2. , Regular Algebra and Finite Machines, Chapman & Hall, 1971. | Zbl
3. , On Kleene Algebras and Closed Semirings, Springer Lecture Notes in Computer Science, 1990, 452, p. 26-47. | Zbl | MR
4. , A completeness theorem for Kleene algebras and the algebra of regular events, Proc. 6th Symp. Logic in Computer Science (IEEE), 1991, p. 214-225.
5. , Complete Systems of β-rational identities, Theoretical Computer Science, 1991, 89, p. 207-343. | Zbl | MR





