PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kufleitner, Manfred"

Author of the publication

copydeleteadd this publication to your clipboard
Regular Languages are Church-Rosser Congruential

, , , and . CoRR, (2012)

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.

Dr. Manfred Kufleitner University of Stuttgart

Manfred Bischoff

Univ. -Prof. Dr. -Ing. Manfred Bischoff University of Stuttgart

Prof. Dr. -Ing. Manfred Piesche University of Stuttgart

Manfred Ehresmann University of Stuttgart

 

Other publications of authors with the same name

Diskrete algebraische Methoden - Arithmetik, Kryptographie, Automaten und Gruppen., , and . De Gruyter Studium de Gruyter, (2013)Elemente der diskreten Mathematik - Zahlen und Zählen, Graphen und Verbände., , and . De Gruyter Studium de Gruyter, (2013)Around Dot-depth One, and . CoRR, (2011)On logical hierarchies within FO2-definable languages, and . Logical Methods in Computer Science, (2012)The Krohn-Rhodes Theorem and Local Divisors, , and . CoRR, (2011)The Join Levels of the Trotter-Weil Hierarchy Are Decidable., and . MFCS, volume 7464 of Lecture Notes in Computer Science, page 603-614. Springer, (2012)Polynomials, Fragments of Temporal Logic and the Variety DA over Traces.. Developments in Language Theory, volume 4036 of Lecture Notes in Computer Science, page 37-48. Springer, (2006)A Remark about Quadratic Trace Equations., and . Developments in Language Theory, volume 2450 of Lecture Notes in Computer Science, page 59-66. Springer, (2002)Rankers over Infinite Words - (Extended Abstract)., , and . Developments in Language Theory, volume 6224 of Lecture Notes in Computer Science, page 148-159. Springer, (2010)Fragments of First-Order Logic over Infinite Words., and . STACS, volume 3 of LIPIcs, page 325-336. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2009)