Author:
Nonnengart, Andreas (Max-Planck-Institut Informatik )
Szalas, Andrzej (University of Warsaw)
Title:
A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
Publication type:
Chapter in book (Refereed)
In:
Logic at work: essays dedicated to the memory of Helena Rasiowa
Editor:
Ewa Orlowska
Publisher:
Physica Verlag
Series:
Studies in Fuzziness and Soft Computing, ISSN 1434-9922; 24
URI:
urn:nbn:se:liu:diva-74998
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-74998
Subject category:
Engineering and Technology
Available from:
2012-02-13
Statistics:
12 hits