DBLP Record 'conf/aiml/ChagrovR02'

BibTeX

@inproceedings{DBLP:conf/aiml/ChagrovR02,
  author    = {Alexander V. Chagrov and
               Mikhail N. Rybakov},
  title     = {How Many Variables Does One Need to Prove PSPACE-hardness
               of Modal Logics},
  booktitle = {Advances in Modal Logic},
  year      = {2002},
  pages     = {71-82},
  crossref  = {DBLP:conf/aiml/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiml/2002,
  editor    = {Philippe Balbiani and
               Nobu-Yuki Suzuki and
               Frank Wolter and
               Michael Zakharyaschev},
  title     = {Advances in Modal Logic 4, papers from the fourth conference
               on "Advances in Modal logic," held in Toulouse (France)
               in October 2002},
  booktitle = {Advances in Modal Logic},
  publisher = {King's College Publications},
  year      = {2003},
  isbn      = {0-9543006-2-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}