Paper: Logic Beyond Formulas: A Proof System on Graphs (at LICS 2020)
Authors: Matteo Acclavio Ross Horne Lutz Straßburger
Abstract
No Abstract Available
BibTeX
@InProceedings{Straburger-LogicBeyondFormulas, author = {Matteo Acclavio and Ross Horne and Lutz Straßburger}, title = {Logic Beyond Formulas: A Proof System on Graphs}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {38--52}, location = {Saarbrucken, Germany}, publisher = {IEEE Computer Society Press} }