Part, Chapter of a Book
@InBook, Buchkapitel
Beitrag im Sammelband


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
Szalas, Andrzej

dblp
dblp



Editor(s):

Orlowska, Ewa

dblp



BibTeX cite key*:

NonnengartSzalas1999

Title, Booktitle

Title*:

A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory

Booktitle*:

Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa

Chapter:


Series:

Studies in Fuzziness and Soft Computing

Language:

English

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Publication Type:


Vol, No, pp., Year

Volume:

24

Number:


Edition:


Pages*:

18

Month:

January

VG Wort Pages:


ISBN:

3-7908-1164-5

Year*:

1999

Abstract, Links, ©

Note:


LaTeX Abstract:


URL Abstract:


Tags, Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


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:
@INBOOK{NonnengartSzalas1999,
AUTHOR = {Nonnengart, Andreas and Szalas, Andrzej},
EDITOR = {Orlowska, Ewa},
TITLE = {A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory},
BOOKTITLE = {Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa},
PUBLISHER = {Springer},
YEAR = {1999},
VOLUME = {24},
PAGES = {18},
SERIES = {Studies in Fuzziness and Soft Computing},
ADDRESS = {Berlin, Germany},
MONTH = {January},
ISBN = {3-7908-1164-5},
}


Entry last modified by Uwe Brahm, 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
01/18/1999 03:50:45 PM
Revisions
2.
1.
0.

Editor(s)
Uwe Brahm
Andreas Nonnengart
Andreas Nonnengart

Edit Dates
10.04.2000 13:58:20