Author of the publication

A Robust Class of Regular Languages.

, and . MFCS, volume 5162 of Lecture Notes in Computer Science, page 36-51. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Star free omega-languages and first order logic.. Automata on Infinite Words, volume 192 of Lecture Notes in Computer Science, page 56-67. Springer, (1984)Une caractérisation de trois variétés de langages bien connues.. Theoretical Computer Science, volume 67 of Lecture Notes in Computer Science, page 233-243. Springer, (1979)Equations Defining the Polynomial Closure of a Lattice of Regular Languages., and . ICALP (2), volume 5556 of Lecture Notes in Computer Science, page 115-126. Springer, (2009)Bridges for Concatenation Hierarchies.. ICALP, volume 1443 of Lecture Notes in Computer Science, page 431-442. Springer, (1998)The Expressive Power of Existential First Order Sentences of Büchi's Sequential Calculus.. ICALP, volume 1099 of Lecture Notes in Computer Science, page 300-311. Springer, (1996)A Robust Class of Regular Languages., and . MFCS, volume 5162 of Lecture Notes in Computer Science, page 36-51. Springer, (2008)Dual Space of a Lattice as the Completion of a Pervin Space - Extended Abstract.. RAMiCS, volume 10226 of Lecture Notes in Computer Science, page 24-40. (2017)Un analogue du théorème des variétés pour les cones et les cylindres.. Theoretical Computer Science, volume 104 of Lecture Notes in Computer Science, page 78-90. Springer, (1981)Varieties Generated by Certain Models of Reversible Finite Automata., and . COCOON, volume 4112 of Lecture Notes in Computer Science, page 83-93. Springer, (2006)A Mahler's theorem for functions from words to integers., and . STACS, volume 1 of LIPIcs, page 585-596. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)