%0 Conference Paper %1 conf/itp/0002HS18 %A Forster, Yannick %A Heiter, Edith %A Smolka, Gert %B ITP %D 2018 %E Avigad, Jeremy %E Mahboubi, Assia %I Springer %K dblp %P 253-269 %T Verification of PCP-Related Computational Reductions in Coq. %U http://dblp.uni-trier.de/db/conf/itp/itp2018.html#0002HS18 %V 10895 %@ 978-3-319-94821-8

@inproceedings{conf/itp/0002HS18, added-at = {2018-07-05T00:00:00.000+0200}, author = {Forster, Yannick and Heiter, Edith and Smolka, Gert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2419102115e87bb43464a55388752a6ae/dblp}, booktitle = {ITP}, crossref = {conf/itp/2018}, editor = {Avigad, Jeremy and Mahboubi, Assia}, ee = {https://doi.org/10.1007/978-3-319-94821-8_15}, interhash = {aab00a8c20fc7dc8bbff921580fc5380}, intrahash = {419102115e87bb43464a55388752a6ae}, isbn = {978-3-319-94821-8}, keywords = {dblp}, pages = {253-269}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:55:49.000+0200}, title = {Verification of PCP-Related Computational Reductions in Coq.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2018.html#0002HS18}, volume = 10895, year = 2018 }