Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template :: Thesis :: Engel, Thorsten


Publications Master Template
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update

Thesis - Master's thesis | @MastersThesis | Masterarbeit


Author
Author(s)*:Engel, Thorsten
BibTeX citekey*:Engel96
Language:English

Title, School
Title*:Quantifier Elimination in Second-Order Predicate Logic
School:Universität des Saarlandes
Type of Thesis*:Master's thesis
Year:1996


Note, Abstract, Copyright
HyperLinks / References / URLs:http://www.mpi-sb.mpg.de/guide/staff/ohlbach/scan/literature.html#Engel96
Download Access Level:Public
Download File(s):View attachments here:

Referees, Status, Dates
Supervisor:Hans Jürgen Ohlbach
Status:Completed
Date Kolloquium:23 September 2019

Correlation
MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Programming Logics Group
Audience:Expert
Appearance: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}
}


Hide details for Attachment SectionAttachment Section

View attachments here:




Entry last modified by Uwe Brahm, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)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