Cuts for circular proofs. Fortier, J. & Santocanale, L. In Proceedings of TACL, pages 72-75, 2013. Paper bibtex @inproceedings{ dblp2370905,
title = {Cuts for circular proofs},
author = {Jérôme Fortier and Luigi Santocanale},
author_short = {Fortier, J. and Santocanale, L.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2013},
key = {dblp2370905},
id = {dblp2370905},
biburl = {http://www.dblp.org/rec/bibtex/conf/tacl/FortierS13},
url = {http://www.easychair.org/publications/?page=1682106189},
conference = {TACL},
pages = {72-75},
text = {TACL 2013:72-75},
booktitle = {Proceedings of TACL}
}
Downloads: 0
{"_id":"FTRExu3yGpsGRgheR","bibbaseid":"fortier-santocanale-cutsforcircularproofs-2013","downloads":0,"creationDate":"2016-01-22T22:38:04.030Z","title":"Cuts for circular proofs","author_short":["Fortier, J.","Santocanale, L."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tacl/FortierS13","bibdata":{"title":"Cuts for circular proofs","author":["Jérôme Fortier","Luigi Santocanale"],"author_short":["Fortier, J.","Santocanale, L."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2370905","id":"dblp2370905","biburl":"http://www.dblp.org/rec/bibtex/conf/tacl/FortierS13","url":"http://www.easychair.org/publications/?page=1682106189","conference":"TACL","pages":"72-75","text":"TACL 2013:72-75","booktitle":"Proceedings of TACL","bibtex":"@inproceedings{ dblp2370905,\n title = {Cuts for circular proofs},\n author = {Jérôme Fortier and Luigi Santocanale},\n author_short = {Fortier, J. and Santocanale, L.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2370905},\n id = {dblp2370905},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tacl/FortierS13},\n url = {http://www.easychair.org/publications/?page=1682106189},\n conference = {TACL},\n pages = {72-75},\n text = {TACL 2013:72-75},\n booktitle = {Proceedings of TACL}\n}","bibbaseid":"fortier-santocanale-cutsforcircularproofs-2013","role":"author","urls":{"Paper":"http://www.easychair.org/publications/?page=1682106189"},"downloads":0},"search_terms":["cuts","circular","proofs","fortier","santocanale"],"keywords":[],"authorIDs":[],"dataSources":["CcQADcS237LmjBzqB"]}