%0 Conference Paper %1 conf/cpp/0002KS19 %A Forster, Yannick %A Kirst, Dominik %A Smolka, Gert %B CPP %D 2019 %E Mahboubi, Assia %E Myreen, Magnus O. %I ACM %K dblp %P 38-51 %T On synthetic undecidability in coq, with an application to the entscheidungsproblem. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2019.html#0002KS19 %@ 978-1-4503-6222-1

@inproceedings{conf/cpp/0002KS19, added-at = {2019-01-04T00:00:00.000+0100}, author = {Forster, Yannick and Kirst, Dominik and Smolka, Gert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f7c79182848a5a5bc7cf3b73da86ea3f/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2019}, editor = {Mahboubi, Assia and Myreen, Magnus O.}, ee = {https://doi.org/10.1145/3293880.3294091}, interhash = {dbea50a30236537f828769fe78b663d4}, intrahash = {f7c79182848a5a5bc7cf3b73da86ea3f}, isbn = {978-1-4503-6222-1}, keywords = {dblp}, pages = {38-51}, publisher = {ACM}, timestamp = {2019-09-27T17:11:27.000+0200}, title = {On synthetic undecidability in coq, with an application to the entscheidungsproblem.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2019.html#0002KS19}, year = 2019 }