Une remarque sur les systèmes complets d'identités rationnelles
From MaRDI portal
Publication:3479525
DOI10.1051/ita/1990240404191zbMath0701.68059OpenAlexW2401696820MaRDI 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
Related Items (30)
Algorithms for Kleene algebra with converse ⋮ Nonfinite axiomatizability of the equational theory of shuffle ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Automated Reasoning in Higher-Order Regular Algebra ⋮ On Completeness of Omega-Regular Algebras ⋮ Axiomatizing rational power series over natural numbers ⋮ Nonaxiomatisability of equivalences over finite state processes ⋮ Free inductive \(K\)-semialgebras ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ On the equational definition of the least prefixed point. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Completeness and the finite model property for Kleene algebra, reconsidered ⋮ On tools for completeness of Kleene algebra with hypotheses ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Iteration Semirings ⋮ Models of nondeterministic regular expressions ⋮ Une condition impliquant toutes les identités rationnelles ⋮ Complete systems of \(\mathcal B\)-rational identities ⋮ Rewriting extended regular expressions ⋮ Equational properties of Kleene algebras of relations with conversion ⋮ Algebraically complete semirings and Greibach normal form ⋮ A Finite Axiomatization of Nondeterministic Regular Expressions ⋮ On the complexity of reasoning in Kleene algebra ⋮ Unnamed Item ⋮ Equational theories for automata ⋮ Completeness results for omega-regular algebras ⋮ On the fine-structure of regular algebra
Cites Work
This page was built for publication: Une remarque sur les systèmes complets d'identités rationnelles
