Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Habilitation thesis | {OhlbachHabil1993, ... | Habilitation(sschrift)
Ohlbach, Hans Jürgen
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},
}
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
Edit History (please click the blue arrow to see the details) | Editor(s) Christine Kiesel | Created 04/04/2001 03:58:39 PM |
| Revisions 2. 1. 0. | Editor(s) Christine Kiesel Christine Kiesel Christine Kiesel | Edit Dates 04.04.2001 04:35:27 PM 04.04.2001 04:25:00 PM 04.04.2001 04:24:10 PM |