@article{ITA_1995__29_6_515_0, author = {Boffa, M.}, title = {Une condition impliquant toutes les identit\'es rationnelles}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {515--518}, publisher = {EDP-Sciences}, volume = {29}, number = {6}, year = {1995}, mrnumber = {1377029}, zbl = {0881.68071}, language = {fr}, url = {http://www.numdam.org/item/ITA_1995__29_6_515_0/} }
TY - JOUR AU - Boffa, M. TI - Une condition impliquant toutes les identités rationnelles JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1995 SP - 515 EP - 518 VL - 29 IS - 6 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1995__29_6_515_0/ LA - fr ID - ITA_1995__29_6_515_0 ER -
%0 Journal Article %A Boffa, M. %T Une condition impliquant toutes les identités rationnelles %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1995 %P 515-518 %V 29 %N 6 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1995__29_6_515_0/ %G fr %F ITA_1995__29_6_515_0
Boffa, M. Une condition impliquant toutes les identités rationnelles. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) no. 6, pp. 515-518. http://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. | Numdam | MR | Zbl
,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. | MR | Zbl
,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. | MR | Zbl
,