A Finite-Model-Theoretic View on Propositional Proof Complexity
Logical Methods in Computer Science. Bd. 15. H. 1. 2019
Erscheinungsjahr: 2019
ISBN/ISSN: 1860-5974
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DDC Sachgruppe:
Informatik
