%0 Conference Paper %1 journals/corr/Tankink14 %A Tankink, Carst %B UITP %D 2014 %E Benzmüller, Christoph %E Paleo, Bruno Woltzenlogel %K dblp %P 73-83 %T PIDE for Asynchronous Interaction with Coq. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs167.html#Tankink14 %V 167

@inproceedings{journals/corr/Tankink14, added-at = {2018-09-12T00:00:00.000+0200}, author = {Tankink, Carst}, biburl = {https://www.bibsonomy.org/bibtex/22d4cf3ea0913fa61825c5765fba0d762/dblp}, booktitle = {UITP}, crossref = {journals/corr/BenzmullerP14}, editor = {Benzmüller, Christoph and Paleo, Bruno Woltzenlogel}, ee = {http://arxiv.org/abs/1410.8221}, interhash = {e7845ffd544ed30c144bbbcaa44c585e}, intrahash = {2d4cf3ea0913fa61825c5765fba0d762}, keywords = {dblp}, pages = {73-83}, series = {EPTCS}, timestamp = {2018-09-13T11:40:56.000+0200}, title = {PIDE for Asynchronous Interaction with Coq.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs167.html#Tankink14}, volume = 167, year = 2014 }