• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Vivek Nigam, Giselle Reis, and Leonardo Lima. Towards the Automated Generation of Focused Proof Systems. In Workshop on Focusing, EPTCS, 2015.
(unavailable)
@inproceedings{nigam.autfocu, author = {Vivek Nigam and Giselle Reis and Leonardo Lima}, title = {Towards the Automated Generation of Focused Proof Systems}, booktitle = {Workshop on Focusing}, series = {EPTCS}, year = {2015}, bib2html_pubtype = {Refereed Conference/Workshop}, bib2html_rescat = {Logical Frameworks}, year = "2015", bib2html_dl_pdf = "/docs/autfocu-red.pdf" }
Generated by bib2html.pl (written by Patrick Riley ) on Mon Feb 25, 2019 17:51:38