Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications

D M Gabbay, R A Schmidt, A Szalas

Research output: Book/Report › Book › peer-review

Name	Studies in Logic
Publisher	College Publications

Cite this

@book{575d59803b8e44d890d25f03773dbf14,

title = "Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications",

author = "Gabbay, {D M} and Schmidt, {R A} and A Szalas",

year = "2008",

language = "English",

isbn = "978-1-904987-56-7",

series = "Studies in Logic",

publisher = "College Publications",

address = "United Kingdom",

}