Košík

0507205 - ÚI 2020 US eng C - Konferenční příspěvek (zahraniční konf.)
Beyersdorff, O. - Pich, Ján
Understanding Gentzen and Frege Systems for QBF.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York: ACM, 2016, s. 146-155. ISBN 978-1-4503-4391-6.
[LICS 2016. Annual ACM/IEEE Symposium on Logic in Computer Science /31./. New York City (US), 05.07.2016-08.07.2016]
Klíčová slova: QBF proof systems * sequent calculus * Frege systems * intuitionistic logic * strategy extraction * lower bounds * simulations
Trvalý link: http://hdl.handle.net/11104/0298249