Structural Proof Theory as Rewriting

José Espírito Santo, Maria João Frade, Luis Pinto. Structural Proof Theory as Rewriting. In Frank Pfenning, editor, Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings. Volume 4098 of Lecture Notes in Computer Science, pages 197-211, Springer, 2006. [doi]

@inproceedings{SantoFP06,
  title = {Structural Proof Theory as Rewriting},
  author = {José Espírito Santo and Maria João Frade and Luis Pinto},
  year = {2006},
  doi = {10.1007/11805618_15},
  url = {http://dx.doi.org/10.1007/11805618_15},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/SantoFP06},
  cites = {0},
  citedby = {0},
  pages = {197-211},
  booktitle = {Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
  editor = {Frank Pfenning},
  volume = {4098},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-36834-5},
}