BibTeX record conf/gi/SabelSH09

download as .bib file

@inproceedings{DBLP:conf/gi/SabelSH09,
  author    = {David Sabel and
               Manfred Schmidt{-}Schau{\ss} and
               Frederik Harwath},
  title     = {Reasoning about Contextual Equivalence: From Untyped to Polymorphically
               Typed Calculi},
  booktitle = {Informatik 2009: Im Focus das Leben, Beitr{\"{a}}ge der 39. Jahrestagung
               der Gesellschaft f{\"{u}}r Informatik e.V. (GI), 28.9.-2.10.2009,
               L{\"{u}}beck, Deutschland, Proceedings},
  pages     = {2931--2945},
  year      = {2009},
  crossref  = {DBLP:conf/gi/2009},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings154/article2805.html},
  timestamp = {Tue, 15 Mar 2016 16:45:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/SabelSH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2009,
  editor    = {Stefan Fischer and
               Erik Maehle and
               R{\"{u}}diger Reischuk},
  title     = {Informatik 2009: Im Focus das Leben, Beitr{\"{a}}ge der 39. Jahrestagung
               der Gesellschaft f{\"{u}}r Informatik e.V. (GI), 28.9.-2.10.2009,
               L{\"{u}}beck, Deutschland, Proceedings},
  series    = {{LNI}},
  volume    = {154},
  publisher = {{GI}},
  year      = {2009},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings154/P-154.pdf},
  isbn      = {978-3-88579-248-2},
  timestamp = {Tue, 15 Mar 2016 16:45:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gi/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier