A Tactic Language for Hiproofs. Aspinall, D., Denney, E., & Lüth, C. In Proceedings of AISC/MKM/Calculemus, pages 339-354, 2008. Paper bibtex @inproceedings{ dblp3063143,
title = {A Tactic Language for Hiproofs},
author = {David Aspinall and Ewen Denney and Christoph Lüth},
author_short = {Aspinall, D. and Denney, E. and Lüth, C.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2008},
key = {dblp3063143},
id = {dblp3063143},
biburl = {http://www.dblp.org/rec/bibtex/conf/aisc/AspinallDL08},
url = {http://dx.doi.org/10.1007/978-3-540-85110-3_30},
conference = {AISC/MKM/Calculemus},
pages = {339-354},
text = {AISC/MKM/Calculemus 2008:339-354},
booktitle = {Proceedings of AISC/MKM/Calculemus}
}
Downloads: 0
{"_id":{"_str":"5277dc255e011a4c4b000176"},"__v":9,"authorIDs":["5461d3a38a9aab071c0000fe"],"author_short":["Aspinall, D.","Denney, E.","Lüth, C."],"bibbaseid":"aspinall-denney-lth-atacticlanguageforhiproofs-2008","bibdata":{"title":"A Tactic Language for Hiproofs","author":["David Aspinall","Ewen Denney","Christoph Lüth"],"author_short":["Aspinall, D.","Denney, E.","Lüth, C."],"bibtype":"inproceedings","type":"inproceedings","year":"2008","key":"dblp3063143","id":"dblp3063143","biburl":"http://www.dblp.org/rec/bibtex/conf/aisc/AspinallDL08","url":"http://dx.doi.org/10.1007/978-3-540-85110-3_30","conference":"AISC/MKM/Calculemus","pages":"339-354","text":"AISC/MKM/Calculemus 2008:339-354","booktitle":"Proceedings of AISC/MKM/Calculemus","bibtex":"@inproceedings{ dblp3063143,\n title = {A Tactic Language for Hiproofs},\n author = {David Aspinall and Ewen Denney and Christoph Lüth},\n author_short = {Aspinall, D. and Denney, E. and Lüth, C.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2008},\n key = {dblp3063143},\n id = {dblp3063143},\n biburl = {http://www.dblp.org/rec/bibtex/conf/aisc/AspinallDL08},\n url = {http://dx.doi.org/10.1007/978-3-540-85110-3_30},\n conference = {AISC/MKM/Calculemus},\n pages = {339-354},\n text = {AISC/MKM/Calculemus 2008:339-354},\n booktitle = {Proceedings of AISC/MKM/Calculemus}\n}","bibbaseid":"aspinall-denney-lth-atacticlanguageforhiproofs-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-85110-3_30"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/aisc/AspinallDL08","downloads":0,"keywords":[],"search_terms":["tactic","language","hiproofs","aspinall","denney","lüth"],"title":"A Tactic Language for Hiproofs","year":2008,"dataSources":["ezAdApp8iLeKYeYGH"]}