Second-order Quantifier Elimination (bibtex)
by Dov M. Gabbay, R. Schmidt, A. Szalas
Reference:
Second-order Quantifier Elimination (Dov M. Gabbay, R. Schmidt, A. Szalas), College publications, 2008.
Bibtex Entry:
@Book{Gabbay2008a,
  Title                    = {Second-order Quantifier Elimination},
  Author                   = {Dov M. Gabbay and R. Schmidt and A. Szalas},
  Publisher                = {College publications},
  Year                     = {2008},

  Affiliation              = {icr},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser