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]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