@inproceedings{DBLP:conf/cpp/0002KS19,
  author       = {Yannick Forster and
                  Dominik Kirst and
                  Gert Smolka},
  editor       = {Assia Mahboubi and
                  Magnus O. Myreen},
  title        = {On synthetic undecidability in coq, with an application to the entscheidungsproblem},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
                  Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
                  14-15, 2019},
  pages        = {38--51},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3293880.3294091},
  doi          = {10.1145/3293880.3294091},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/0002KS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"vBaqQNs93WJeztozT","bibbaseid":"forster-kirst-smolka-onsyntheticundecidabilityincoqwithanapplicationtotheentscheidungsproblem-2019","author_short":["Forster, Y.","Kirst, D.","Smolka, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Yannick"],"propositions":[],"lastnames":["Forster"],"suffixes":[]},{"firstnames":["Dominik"],"propositions":[],"lastnames":["Kirst"],"suffixes":[]},{"firstnames":["Gert"],"propositions":[],"lastnames":["Smolka"],"suffixes":[]}],"editor":[{"firstnames":["Assia"],"propositions":[],"lastnames":["Mahboubi"],"suffixes":[]},{"firstnames":["Magnus","O."],"propositions":[],"lastnames":["Myreen"],"suffixes":[]}],"title":"On synthetic undecidability in coq, with an application to the entscheidungsproblem","booktitle":"Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019","pages":"38–51","publisher":"ACM","year":"2019","url":"https://doi.org/10.1145/3293880.3294091","doi":"10.1145/3293880.3294091","timestamp":"Sun, 25 Oct 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cpp/0002KS19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cpp/0002KS19,\n author = {Yannick Forster and\n Dominik Kirst and\n Gert Smolka},\n editor = {Assia Mahboubi and\n Magnus O. Myreen},\n title = {On synthetic undecidability in coq, with an application to the entscheidungsproblem},\n booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on\n Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January\n 14-15, 2019},\n pages = {38--51},\n publisher = {{ACM}},\n year = {2019},\n url = {https://doi.org/10.1145/3293880.3294091},\n doi = {10.1145/3293880.3294091},\n timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cpp/0002KS19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Forster, Y.","Kirst, D.","Smolka, G."],"editor_short":["Mahboubi, A.","Myreen, M. O."],"key":"DBLP:conf/cpp/0002KS19","id":"DBLP:conf/cpp/0002KS19","bibbaseid":"forster-kirst-smolka-onsyntheticundecidabilityincoqwithanapplicationtotheentscheidungsproblem-2019","role":"author","urls":{"Paper":"https://doi.org/10.1145/3293880.3294091"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/188/5682-2.bib","dataSources":["5syoA3E4Kc7JZpcPK"],"keywords":[],"search_terms":["synthetic","undecidability","coq","application","entscheidungsproblem","forster","kirst","smolka"],"title":"On synthetic undecidability in coq, with an application to the entscheidungsproblem","year":2019}