Thema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes, December, 1993
Completed
Thema der Antrittsvorlesung: Transformation logischer Systeme
Geb. 44 HS 117
17
December
1993
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{OhlbachHabil1993,
AUTHOR = {Ohlbach, Hans J{\"u}rgen},
TITLE = {Thema der Antrittsvorlesung: Transformation logischer Systeme},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1993},
TYPE = {Habilitation thesis}
MONTH = {December},
}
Entry last modified by Christine Kiesel, 03/12/2010