liu.seSearch for publications in DiVA
System disruptions
There are recurring service disruptions on some of the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
Max-Planck-Institut Informatik .
University of Warsaw.
1998 (English)In: Logic at work: essays dedicated to the memory of Helena Rasiowa / [ed] Ewa Orlowska, Physica Verlag, 1998, Vol. 24, p. 307-328Chapter in book (Refereed)
Place, publisher, year, edition, pages
Physica Verlag, 1998. Vol. 24, p. 307-328
Series
Studies in Fuzziness and Soft Computing, ISSN 1434-9922 ; 24
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-74998ISBN: 3-7908-1164-5 (print)OAI: oai:DiVA.org:liu-74998DiVA, id: diva2:499739
Available from: 2012-02-13 Created: 2012-02-13 Last updated: 2012-02-22

Open Access in DiVA

No full text in DiVA

Other links

Find book at a Swedish library/Hitta boken i ett svenskt bibliotekFind book in another country/Hitta boken i ett annat land

Authority records

Szalas, Andrzej

Search in DiVA

By author/editor
Szalas, Andrzej
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 437 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.49.0
|
Accessibility
|
DiVA portal
|
DiVA Log in
|
Contact us
|
LiU University Library
|
SwePub
|
Uppsök