BibTeX record: conf/aiml/Finger00

download as .bib file

@inproceedings{DBLP:conf/aiml/Finger00,
  author    = {Marcelo Finger},
  title     = {Algorithmic Correspondence Theory for Substructural Categorial Logic},
  booktitle = {Advances in Modal Logic 3, papers from the third conference on "Advances
               in Modal logic," held in Leipzig (Germany) in October 2000},
  year      = {2000},
  pages     = {153--172},
  crossref  = {DBLP:conf/aiml/2000},
  timestamp = {Sat, 20 Sep 2014 10:20:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiml/Finger00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aiml/2000,
  editor    = {Frank Wolter and
               Heinrich Wansing and
               Maarten de Rijke and
               Michael Zakharyaschev},
  title     = {Advances in Modal Logic 3, papers from the third conference on "Advances
               in Modal logic," held in Leipzig (Germany) in October 2000},
  year      = {2002},
  publisher = {World Scientific},
  isbn      = {981-238-179-1},
  timestamp = {Sat, 20 Sep 2014 10:20:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiml/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}