Cuts for circular proofs. Fortier, J. & Santocanale, L. In Proceedings of TACL, pages 72-75, 2013.
Cuts for circular proofs [link]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