informatik
institut
suche
sitemap
kontakt
print
Institut für Formale Methoden der Informatik
Team
Volker Diekert
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Publications
Heike Photien
Ulrich Hertrampf
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Research
Frequency Computations
Publications
Jonathan Kausch
Teaching
SS 2013
WS 2012/13
SS 2012
Publications
Manfred Kufleitner
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Supervised Student Work
Publications
Alexander Lauser
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Publications
Tobias Walter
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Publications
Armin Weiß
Teaching
SS 2013
WS 2012/13
SS 2012
WS 2011/12
former terms
Publications
Horst Prote
Sourcen & Dienste
Linux
TeXnics
Links
Ehemalige
Dr. Holger Austinat
Andreas Bergen
Dr. Michael Bertol
Dr. Stefan Göller
Dr. Benjamin Hoffmann
Dr. Steffen Kopecki
Teaching
Publications
Dr. Jürn Laun
Teaching
Publications
Prof. Dr. Markus Lohrey
Alexander Miller
Prof. Dr. Anca Muscholl
Dr. Nicole Ondrusch
Dr. Holger Petersen
Dr. Walter Reuß
Dr. Klaus Wich
Lehre
SS 2013
Formale Sprachen und Automatentheorie
Konkrete Mathematik
Kryptographische Verfahren
Quantencomputing
Ergänzungen Mathe
WS 2012/13
Logik & Diskrete Strukturen
Erg. zu Logik & DS
Ergänzungen Mathe
Berechenbarkeit & Komplexität
Algorithmen und Berechenbarkeit / Formale Methoden
Erg. zu Algorithmen, Berechenbarkeit & Komplexität
Sem. Ausgewählte Themen der TI
SS 2012
Komplexitätstheorie
Ergänzungen Theorie
Algorithmik
Formale Sprachen und Automatentheorie
Ergänzungen Mathe
WS 2011/12
Logik & Diskrete Strukturen
Ergänzungen zu Logik & DS
Berechenbarkeit & Komplexität
Algorithmen & Berechenbarkeit / Formale Methoden
Ergänzungen Algorithmen, Berechenbarkeit & Komplexität
Algorithmik
Automaten über unendlichen Wörtern
frühere Semester
Oberseminar
Studien- und Diplomarbeiten
Studienprojekte
Softwarepraktika
alte Prüfungen
Standardlehrbücher
Theorie anschaulich
Forschung
Forschungskontakte
Publikationen
Workshops
Publikationen
Uni Stuttgart
⇒
Informatik
⇒
FMI
⇒
Theoretische Informatik
⇒
Team
⇒
Tobias Walter
⇒ Publications
Team
Volker Diekert
Heike Photien
Ulrich Hertrampf
Jonathan Kausch
Manfred Kufleitner
Alexander Lauser
Tobias Walter
Teaching
Publications
Armin Weiß
Horst Prote
Ehemalige
User login
Enter your username and password here in order to log in on the website:
Login
Username:
Password:
Forgot your password?
Publications
References
2012
Volker Diekert
,
Manfred Kufleitner
,
Klaus Reinhardt
and
Tobias Walter
Regular Languages are Church-Rosser Congruential
ICALP (2), volume 7392 of
Lecture Notes in Computer Science
, pages 177–188. 2012.
[DOI]
[arXiv]
[© Springer]
Export as:
BibTeX
