Prufrock: a framework for constructing polytypic theorem provers. Ward, J., Kimmell, G., & Alexander, P. In Proceedings of Automated Software Engineering (ASE), pages 423-426, 2005. Paper bibtex @inproceedings{ dblp3480735,
title = {Prufrock: a framework for constructing polytypic theorem provers},
author = {Justin Ward and Garrin Kimmell and Perry Alexander},
author_short = {Ward, J. and Kimmell, G. and Alexander, P.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2005},
key = {dblp3480735},
id = {dblp3480735},
biburl = {http://www.dblp.org/rec/bibtex/conf/kbse/WardKA05},
url = {http://doi.acm.org/10.1145/1101908.1101985},
conference = {ASE},
pages = {423-426},
text = {ASE 2005:423-426},
booktitle = {Proceedings of Automated Software Engineering (ASE)}
}
Downloads: 0
{"_id":"h6FTKkcJQCkg88SWR","bibbaseid":"ward-kimmell-alexander-prufrockaframeworkforconstructingpolytypictheoremprovers-2005","downloads":0,"creationDate":"2015-06-23T14:38:07.790Z","title":"Prufrock: a framework for constructing polytypic theorem provers","author_short":["Ward, J.","Kimmell, G.","Alexander, P."],"year":2005,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/kbse/WardKA05","bibdata":{"title":"Prufrock: a framework for constructing polytypic theorem provers","author":["Justin Ward","Garrin Kimmell","Perry Alexander"],"author_short":["Ward, J.","Kimmell, G.","Alexander, P."],"bibtype":"inproceedings","type":"inproceedings","year":"2005","key":"dblp3480735","id":"dblp3480735","biburl":"http://www.dblp.org/rec/bibtex/conf/kbse/WardKA05","url":"http://doi.acm.org/10.1145/1101908.1101985","conference":"ASE","pages":"423-426","text":"ASE 2005:423-426","booktitle":"Proceedings of Automated Software Engineering (ASE)","bibtex":"@inproceedings{ dblp3480735,\n title = {Prufrock: a framework for constructing polytypic theorem provers},\n author = {Justin Ward and Garrin Kimmell and Perry Alexander},\n author_short = {Ward, J. and Kimmell, G. and Alexander, P.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2005},\n key = {dblp3480735},\n id = {dblp3480735},\n biburl = {http://www.dblp.org/rec/bibtex/conf/kbse/WardKA05},\n url = {http://doi.acm.org/10.1145/1101908.1101985},\n conference = {ASE},\n pages = {423-426},\n text = {ASE 2005:423-426},\n booktitle = {Proceedings of Automated Software Engineering (ASE)}\n}","bibbaseid":"ward-kimmell-alexander-prufrockaframeworkforconstructingpolytypictheoremprovers-2005","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/1101908.1101985"},"downloads":0},"search_terms":["prufrock","framework","constructing","polytypic","theorem","provers","ward","kimmell","alexander"],"keywords":[],"authorIDs":[],"dataSources":["asFaS9d7tvsm6gY6Q"]}