학술논문
A Finite-Model-Theoretic view on propositional proof Complexity
Document Type
Article
Author
Source
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2019, 15(1))
Subject
Language
English
ISSN
18605974