BibTeX record conf/ppdp/DowekG10

download as .bib file

@inproceedings{DBLP:conf/ppdp/DowekG10,
  author    = {Gilles Dowek and
               Murdoch James Gabbay},
  editor    = {Temur Kutsia and
               Wolfgang Schreiner and
               Maribel Fern{\'{a}}ndez},
  title     = {Permissive-nominal logic},
  booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 26-28, 2010,
               Hagenberg, Austria},
  pages     = {165--176},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1836089.1836111},
  doi       = {10.1145/1836089.1836111},
  timestamp = {Sun, 25 Oct 2020 23:15:57 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/DowekG10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics