A Framework for Interactive Proof. Aspinall, D., Lüth, C., & Winterstein, D. In Proceedings of Calculemus/MKM, pages 161-175, 2007. ![A Framework for Interactive Proof [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp3260479,
title = {A Framework for Interactive Proof},
author = {David Aspinall and Christoph Lüth and Daniel Winterstein},
author_short = {Aspinall, D. and Lüth, C. and Winterstein, D.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2007},
key = {dblp3260479},
id = {dblp3260479},
biburl = {http://www.dblp.org/rec/bibtex/conf/mkm/AspinallLW07},
url = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},
conference = {Calculemus/MKM},
pages = {161-175},
text = {Calculemus/MKM 2007:161-175},
booktitle = {Proceedings of Calculemus/MKM}
}
Downloads: 0
{"_id":{"_str":"5277dc255e011a4c4b000177"},"__v":9,"authorIDs":["5461d3a38a9aab071c0000fe"],"author_short":["Aspinall, D.","Lüth, C.","Winterstein, D."],"bibbaseid":"aspinall-lth-winterstein-aframeworkforinteractiveproof-2007","bibdata":{"title":"A Framework for Interactive Proof","author":["David Aspinall","Christoph Lüth","Daniel Winterstein"],"author_short":["Aspinall, D.","Lüth, C.","Winterstein, D."],"bibtype":"inproceedings","type":"inproceedings","year":"2007","key":"dblp3260479","id":"dblp3260479","biburl":"http://www.dblp.org/rec/bibtex/conf/mkm/AspinallLW07","url":"http://dx.doi.org/10.1007/978-3-540-73086-6_15","conference":"Calculemus/MKM","pages":"161-175","text":"Calculemus/MKM 2007:161-175","booktitle":"Proceedings of Calculemus/MKM","bibtex":"@inproceedings{ dblp3260479,\n title = {A Framework for Interactive Proof},\n author = {David Aspinall and Christoph Lüth and Daniel Winterstein},\n author_short = {Aspinall, D. and Lüth, C. and Winterstein, D.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2007},\n key = {dblp3260479},\n id = {dblp3260479},\n biburl = {http://www.dblp.org/rec/bibtex/conf/mkm/AspinallLW07},\n url = {http://dx.doi.org/10.1007/978-3-540-73086-6_15},\n conference = {Calculemus/MKM},\n pages = {161-175},\n text = {Calculemus/MKM 2007:161-175},\n booktitle = {Proceedings of Calculemus/MKM}\n}","bibbaseid":"aspinall-lth-winterstein-aframeworkforinteractiveproof-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-73086-6_15"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/mkm/AspinallLW07","downloads":0,"keywords":[],"search_terms":["framework","interactive","proof","aspinall","lüth","winterstein"],"title":"A Framework for Interactive Proof","year":2007,"dataSources":["xpp8Cvs5Y2TiGngqk"]}