A Finite-Model-Theoretic View on Propositional Proof Complexity
Grädel, Erich (Corresponding author); Grohe, Martin; Pago, Benedikt; Pakusa, Wied
(2018)
Preprint
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-2018-221672
Fakultäten und Einrichtungen
Sie sind hier: A Finite-Model-Theoretic View on Propositional Proof Complexity
RWTH
Fakultäten und Institute
- Mathematik, Informatik, NaturwissenschaftenFakultät 1
- ArchitekturFakultät 2
- BauingenieurwesenFakultät 3
- MaschinenwesenFakultät 4
- Georessourcen und MaterialtechnikFakultät 5
- Elektrotechnik und InformationstechnikFakultät 6
- Philosophische FakultätFakultät 7
- WirtschaftswissenschaftenFakultät 8
- MedizinFakultät 10
Institut suchen:
Navigation
Sie sind hier:
- Home
- Forschung
- Publikationen
- Preprints
- A Finite-Model-Theoretic View on Propositional Proof Complexity