The Model-Theoretic Expressiveness of Propositional Proof Systems
In 26th EACSL Annual Conference on Computer Science Logic. 2017
Erscheinungsjahr: 2017
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DDC Sachgruppe:
Informatik
