Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Habilitation thesis | {bockmayr_habil_96, ... | Habilitation(sschrift) - German
Bockmayr, Alexander
Gleichheit und Constraints in der Logikprogrammierung
Universität des Saarlandes, June, 1996
Completed
Thema der Antrittsvorlesung: Quantenrechner und polynomiale Berechenbarkeit
Geb. 46.1 HS 024
7
June
1996
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{bockmayr_habil_96,
AUTHOR = {Bockmayr, Alexander},
TITLE = {Gleichheit und Constraints in der Logikprogrammierung},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Habilitation thesis}
MONTH = {June},
}
AUTHOR = {Bockmayr, Alexander},
TITLE = {Gleichheit und Constraints in der Logikprogrammierung},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Habilitation thesis}
MONTH = {June},
}
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/19/1998 10:38:48 AM |
| Revisions 6. 5. 4. 3. 2. | Editor(s) Christine Kiesel Christine Kiesel Uwe Brahm Uwe Brahm Uwe Brahm | Edit Dates 04.04.2001 04:35:56 PM 04.04.2001 04:24:27 PM 04/27/99 09:44:04 PM 16.10.98 15:51:53 31/03/98 09:16:43 |