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


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:









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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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)
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