DBLP Record 'conf/aiml/SheremetTWZ06'

BibTeX

@inproceedings{DBLP:conf/aiml/SheremetTWZ06,
  author    = {Mikhail Sheremet and
               Dmitry Tishkovsky and
               Frank Wolter and
               Michael Zakharyaschev},
  title     = {From topology to metric: modal logic and quantification
               in metric spaces},
  booktitle = {Advances in Modal Logic},
  year      = {2006},
  pages     = {429-448},
  ee        = {http://www.aiml.net/volumes/volume6/Sheremet-Tishkovsky-Wolter-Zakharyaschev.ps},
  crossref  = {DBLP:conf/aiml/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiml/2006,
  editor    = {Guido Governatori and
               Ian M. Hodkinson and
               Yde Venema},
  title     = {Advances in Modal Logic 6, papers from the sixth conference
               on "Advances in Modal Logic," held in Noosa, Queensland,
               Australia, on 25-28 September 2006},
  booktitle = {Advances in Modal Logic},
  publisher = {College Publications},
  year      = {2006},
  isbn      = {1-904987-20-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}