Une remarque sur les systèmes complets d'identités rationnelles
From MaRDI portal
Publication:3479525
DOI10.1051/ita/1990240404191zbMath0701.68059MaRDI QIDQ3479525
Publication date: 1990
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/92366
68Q45: Formal languages and automata
Related Items
Une condition impliquant toutes les identités rationnelles, A Finite Axiomatization of Nondeterministic Regular Expressions, Rewriting extended regular expressions, Equational properties of Kleene algebras of relations with conversion, Complete systems of \(\mathcal B\)-rational identities, Nonaxiomatisability of equivalences over finite state processes, The equational logic of fixed points, Completeness of Park induction, On the equational definition of the least prefixed point., Algebraically complete semirings and Greibach normal form, Models of nondeterministic regular expressions, On the complexity of reasoning in Kleene algebra, Iteration Semirings
Cites Work