BibTeX record conf/fsttcs/DawarGG04

download as .bib file

@inproceedings{DBLP:conf/fsttcs/DawarGG04,
  author    = {Anuj Dawar and
               Philippa Gardner and
               Giorgio Ghelli},
  title     = {Adjunct Elimination Through Games in Static Ambient Logic},
  booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
               Computer Science, 24th International Conference, Chennai, India, December
               16-18, 2004, Proceedings},
  pages     = {211--223},
  year      = {2004},
  crossref  = {DBLP:conf/fsttcs/2004},
  url       = {http://dx.doi.org/10.1007/978-3-540-30538-5_18},
  doi       = {10.1007/978-3-540-30538-5_18},
  timestamp = {Fri, 22 Nov 2013 12:57:23 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/DawarGG04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2004,
  editor    = {Kamal Lodaya and
               Meena Mahajan},
  title     = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
               Computer Science, 24th International Conference, Chennai, India, December
               16-18, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3328},
  publisher = {Springer},
  year      = {2004},
  isbn      = {3-540-24058-6},
  timestamp = {Mon, 13 Dec 2004 11:23:17 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}