Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Engel96, ... | Masterarbeit
Engel, Thorsten
Quantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes, 1996
http://www.mpi-sb.mpg.de/guide/staff/ohlbach/scan/literature.html#Engel96
Public
Download File(s):
Hans Jürgen Ohlbach
Completed
3
May
2024
Max-Planck-Institut für Informatik
Programming Logics Group
Expert
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@MASTERSTHESIS{Engel96,
AUTHOR = {Engel, Thorsten},
TITLE = {Quantifier Elimination in Second-Order Predicate Logic},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Master's thesis}
}
AUTHOR = {Engel, Thorsten},
TITLE = {Quantifier Elimination in Second-Order Predicate Logic},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Master's thesis}
}
Entry last modified by Uwe Brahm, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Renate A. Schmidt | Created 04/17/1997 05:39:05 PM |
| Revisions 4. 3. 2. 1. 0. | Editor(s) Uwe Brahm Christine Kiesel Christine Kiesel Uwe Brahm Uwe Brahm | Edit Dates 2007-07-02 14:48:13 17/03/98 12:00:01 16/03/98 16:22:04 25/02/98 15:37:44 17/04/97 17:43:58 |