Algebraic Proof Complexity: Progress, Frontiers and Challenges. / Pitassi, Tonnian; Tzameret, Iddo.

ACM SIGLOG News. ed. / Neil Immerman. Vol. 3 New York : ACM, 2016. p. 21-43.

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Published

Links

Original languageEnglish
Title of host publicationACM SIGLOG News
EditorsNeil Immerman
Place of PublicationNew York
PublisherACM
Pages21-43
Number of pages23
Volume3
ISBN (Electronic)EISSN:2372-3491
Publication statusPublished - 8 Jul 2016
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 26753727