Paper: Understanding Gentzen and Frege Systems for QBF (at LICS 2016)
Authors: Olaf Beyersdorff Ján Pich
Abstract
No Abstract Available
BibTeX
@InProceedings{BeyersdorffPich-UnderstandingGentze, author = {Olaf Beyersdorff and Ján Pich}, title = {Understanding Gentzen and Frege Systems for QBF}, booktitle = {Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016)}, year = {2016}, month = {July}, pages = {146--155}, location = {New York City}, publisher = {IEEE Computer Society Press} }