Voting with Second Order Quantifier Elimination (bibtex)
by Dov Gabbay, A. Szalas
Reference:
Voting with Second Order Quantifier Elimination (Dov Gabbay, A. Szalas), In studia logica, volume 92, 2009.
Bibtex Entry:
@Article{Gabbay2009j,
  Title                    = {Voting with Second Order Quantifier Elimination},
  Author                   = {Dov Gabbay and A. Szalas},
  Journal                  = {studia logica},
  Year                     = {2009},
  Number                   = {3},
  Pages                    = {365-379},
  Volume                   = {92},

  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser