LiU Electronic Press
Full-text not available in DiVA
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)
Language:
English
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
Volume:
24
Pages:
307-328
Year of publ.:
1998
URI:
urn:nbn:se:liu:diva-74998
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-74998
ISBN:
3-7908-1164-5
Subject category:
Engineering and Technology
Available from:
2012-02-13
Created:
2012-02-13
Last updated:
2012-02-22
Statistics:
18 hits