BibTeX record conf/lics/Pitts93a

download as .bib file

@inproceedings{DBLP:conf/lics/Pitts93a,
  author       = {Andrew M. Pitts},
  title        = {Bisimulation and Co-induction (Tutorial)},
  booktitle    = {{LICS}},
  pages        = {2--3},
  year         = {1993},
  url          = {http://theory.lcs.mit.edu/\%7Edmjones/LICS/lics93.html},
  timestamp    = {Thu, 15 Dec 2016 13:21:22 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Pitts93a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics