Cuts for circular proofs: semantics and cut-elimination. Fortier, J. & Santocanale, L. In Proceedings of Computer Science Logic (CSL), pages 248-262, 2013. ![Cuts for circular proofs: semantics and cut-elimination [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp2205752,
title = {Cuts for circular proofs: semantics and cut-elimination},
author = {Jérôme Fortier and Luigi Santocanale},
author_short = {Fortier, J. and Santocanale, L.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2013},
key = {dblp2205752},
id = {dblp2205752},
biburl = {http://www.dblp.org/rec/bibtex/conf/csl/FortierS13},
url = {http://dx.doi.org/10.4230/LIPIcs.CSL.2013.248},
conference = {CSL},
pages = {248-262},
text = {CSL 2013:248-262},
booktitle = {Proceedings of Computer Science Logic (CSL)}
}
Downloads: 0
{"_id":"pqTfN8L3SnkrMENvr","bibbaseid":"fortier-santocanale-cutsforcircularproofssemanticsandcutelimination-2013","downloads":0,"creationDate":"2016-01-22T22:38:04.027Z","title":"Cuts for circular proofs: semantics and cut-elimination","author_short":["Fortier, J.","Santocanale, L."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/FortierS13","bibdata":{"title":"Cuts for circular proofs: semantics and cut-elimination","author":["Jérôme Fortier","Luigi Santocanale"],"author_short":["Fortier, J.","Santocanale, L."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2205752","id":"dblp2205752","biburl":"http://www.dblp.org/rec/bibtex/conf/csl/FortierS13","url":"http://dx.doi.org/10.4230/LIPIcs.CSL.2013.248","conference":"CSL","pages":"248-262","text":"CSL 2013:248-262","booktitle":"Proceedings of Computer Science Logic (CSL)","bibtex":"@inproceedings{ dblp2205752,\n title = {Cuts for circular proofs: semantics and cut-elimination},\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 = {dblp2205752},\n id = {dblp2205752},\n biburl = {http://www.dblp.org/rec/bibtex/conf/csl/FortierS13},\n url = {http://dx.doi.org/10.4230/LIPIcs.CSL.2013.248},\n conference = {CSL},\n pages = {248-262},\n text = {CSL 2013:248-262},\n booktitle = {Proceedings of Computer Science Logic (CSL)}\n}","bibbaseid":"fortier-santocanale-cutsforcircularproofssemanticsandcutelimination-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.4230/LIPIcs.CSL.2013.248"},"downloads":0},"search_terms":["cuts","circular","proofs","semantics","cut","elimination","fortier","santocanale"],"keywords":[],"authorIDs":[],"dataSources":["e422hhSaLFrJf96da"]}