Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Habilitation thesis | {PodelskiHabil1998, ... | Habilitation(sschrift)
Podelski, Andreas
Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie
Universität des Saarlandes, September, 1998
Completed
Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie
Geb. 46 HS 024
23
September
1998
Max-Planck-Institut für Informatik
Programming Logics Group
experts only
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@PHDTHESIS{PodelskiHabil1998,
AUTHOR = {Podelski, Andreas},
TITLE = {Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1998},
TYPE = {Habilitation thesis}
MONTH = {September},
}
AUTHOR = {Podelski, Andreas},
TITLE = {Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1998},
TYPE = {Habilitation thesis}
MONTH = {September},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Christine Kiesel | Created 04/05/2001 04:45:16 PM |
| Revisions 2. 1. 0. | Editor(s) Christine Kiesel Christine Kiesel Christine Kiesel | Edit Dates 05.04.2001 04:49:05 PM 05.04.2001 04:48:57 PM 05.04.2001 04:48:36 PM |