Characterizing Propositional Proofs as Non-commutative Formulas. / Li, Fu; Tzameret, Iddo; Wang, Zhengyu.

In: SIAM Journal on Computing, 07.05.2018.

Research output: Contribution to journalArticle

Forthcoming
Original languageEnglish
Number of pages40
JournalSIAM Journal on Computing
StateAccepted/In press - 7 May 2018

ID: 29984729