Publications: Unpublished/Draft

Unpublished, Draft, To Appear
@UnPublished
Unveröffentlicht, Entwurf

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

Options:

Goto entry point

Author, Editor

Author(s):

Nonnengart, Andreas
Ohlbach, Hans Jürgen
Szalas, Andrzej

dblp
dblp
dblp

BibTeX citekey*:

NonnengartOhlbachSzalas98

Title, Booktitle

Title*:

Quantifier Elimination for Second-Order Predicate Logic

Vol, No, pp., Year

Month:	January	Year:	2001
Language:	English	Pages:	21

Abstract, Links, ©

Note:	To appear in \emph{Logic, Language and Reasoning. Essays in honour of Dov Gabbay, Part I, Kluwer Academic Press}
LaTeX Abstract:
Categories / Keywords:
HyperLinks / References / URLs:
Personal Comments:
File Upload:

Download Access Level:

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Audience:	experts only
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat

BibTeX Entry:

@UNPUBLISHED{NonnengartOhlbachSzalas98,
AUTHOR = {Nonnengart, Andreas and Ohlbach, Hans J{\"u}rgen and Szalas, Andrzej},
TITLE = {Quantifier Elimination for Second-Order Predicate Logic},
YEAR = {2001},
PAGES = {21},
MONTH = {January},
NOTE = {To appear in \emph{Logic, Language and Reasoning. Essays in honour of Dov Gabbay, Part I, Kluwer Academic Press}},
}

Entry last modified by Christine Kiesel, 03/12/2010

Edit History (please click the blue arrow to see the details)

	Editor(s) Andreas Nonnengart	Created 04/21/1997 11:43:10 AM
Revisions 6. 5. 4. 3. 2.	Editor(s) Christine Kiesel Andreas Nonnengart Uwe Brahm Andreas Nonnengart Andreas Nonnengart	Edit Dates 27.03.2001 10:50:54 AM 26/04/99 10:09:11 07.04.99 16:41:22 25/03/98 14:42:44 05/05/97 16:25:26