Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Fischmann-Diplom99, ... | Masterarbeit - German
Fischmann, Matthias
On Applications of Decidable Object-Oriented Type Theory
Universität des Saarlandes, 1999
Prof. Ganzinger
Completed
3
May
2024
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:
@MASTERSTHESIS{Fischmann-Diplom99,
AUTHOR = {Fischmann, Matthias},
TITLE = {On Applications of Decidable Object-Oriented Type Theory},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1999},
TYPE = {Master's thesis}
}
AUTHOR = {Fischmann, Matthias},
TITLE = {On Applications of Decidable Object-Oriented Type Theory},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1999},
TYPE = {Master's thesis}
}
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 02/22/2000 01:00:30 PM |
| Revisions 6. 5. 4. 3. 2. | Editor(s) Christine Kiesel Uwe Brahm Uwe Brahm Christine Kiesel Christine Kiesel | Edit Dates 22/02/2000 13:03:49 16.02.2000 16:35:43 02/15/2000 01:07:36 AM 14/04/99 11:22:50 12/04/99 16:01:38 |