BibTeX record journals/corr/AntoyHL17

download as .bib file

@inproceedings{DBLP:journals/corr/AntoyHL17,
  author       = {Sergio Antoy and
                  Michael Hanus and
                  Steven Libby},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {Proving Non-Deterministic Computations in Agda},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {180--195},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.13},
  doi          = {10.4204/EPTCS.234.13},
  timestamp    = {Thu, 14 Oct 2021 09:15:25 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AntoyHL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics