• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Vivek Nigam, Elaine Pimentel, and Giselle Reis. An extended framework for specifying and reasoning about proof systems. J. Log. Comput., 26(2):539–576, 2016. Special issue in honor of Roy Dyckhoff.
The on-line tool, called TATU, implementing the techniques described in the paper can be found here
[PDF] [gzipped postscript] [postscript] [HTML]
(unavailable)
@article{nigam15jlc, author = {Vivek Nigam and Elaine Pimentel and Giselle Reis}, title = {An extended framework for specifying and reasoning about proof systems}, journal = {J. Log. Comput.}, volume = {26}, number = {2}, pages = {539--576}, year = {2016}, url = {http://dx.doi.org/10.1093/logcom/exu029}, doi = {10.1093/logcom/exu029}, note = {Special issue in honor of Roy Dyckhoff.}, bib2html_pubtype = {Journal}, bib2html_rescat = {Logical Frameworks}, wwwnote = "The on-line tool, called TATU, implementing the techniques described in the paper can be found <a href=http://www.logic.at/people/giselle/tatu/>here</a>", bib2html_dl_pdf = "/docs/modal-sellf.pdf" }
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57