BibTeX record conf/ppdp/PinoBV13

download as .bib file

@inproceedings{DBLP:conf/ppdp/PinoBV13,
  author    = {Luis Fernando Pino and
               Filippo Bonchi and
               Frank D. Valencia},
  editor    = {Ricardo Pe{\~{n}}a and
               Tom Schrijvers},
  title     = {Efficient computation of program equivalence for confluent concurrent
               constraint programming},
  booktitle = {15th International Symposium on Principles and Practice of Declarative
               Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
  pages     = {263--274},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2505879.2505902},
  doi       = {10.1145/2505879.2505902},
  timestamp = {Tue, 06 Nov 2018 16:57:24 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/PinoBV13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics