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

Nonnengart, Andreas; Szalas, Andrzej

Local TagsRelease HistoryDetailsSummary

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

Nonnengart, A., & Szalas, A. (1999). A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory. In E. Orlowska (Ed.), Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa. Berlin, Germany: Springer.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3620-9 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3621-7

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
Nonnengart, Andreas¹, Author
Szalas, Andrzej, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 1999

Publication Status: Issued

Pages: -

Publishing info: Berlin, Germany : Springer

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519680
Other: Local-ID: C1256104005ECAFC-9D5B588D581786D2412566FD00518D16-NonnengartSzalas1999

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

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

Source Genre: Book

Creator(s):
Orlowska, Ewa, Editor

Affiliations:
-

Publ. Info: Berlin, Germany : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: ISBN: 3-7908-1164-5

Source 2

show

hide

Title: Studies in Fuzziness and Soft Computing

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 24 Sequence Number: - Start / End Page: - Identifier: -