BibTeX record: conf/fossacs/GhaniPR99

download as .bib file

@inproceedings{DBLP:conf/fossacs/GhaniPR99,
  author    = {Neil Ghani and
               Valeria de Paiva and
               Eike Ritter},
  title     = {Categorical Models of Explicit Substitutions},
  booktitle = {Foundations of Software Science and Computation Structure, Second
               International Conference, FoSSaCS'99, Held as Part of the European
               Joint Conferences on the Theory and Practice of Software, ETAPS'99,
               Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  pages     = {197--211},
  year      = {1999},
  crossref  = {DBLP:conf/fossacs/1999},
  url       = {http://dx.doi.org/10.1007/3-540-49019-1_14},
  doi       = {10.1007/3-540-49019-1_14},
  timestamp = {Fri, 17 Jun 2011 14:11:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/GhaniPR99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fossacs/1999,
  editor    = {Wolfgang Thomas},
  title     = {Foundations of Software Science and Computation Structure, Second
               International Conference, FoSSaCS'99, Held as Part of the European
               Joint Conferences on the Theory and Practice of Software, ETAPS'99,
               Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1578},
  publisher = {Springer},
  year      = {1999},
  isbn      = {3-540-65719-3},
  timestamp = {Mon, 18 Mar 2002 09:07:30 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}