- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Logical methods in computer science 15(1), Seiten/Artikel-Nr.:pp. 4:1-4:53
In: 10.23638/LMCS-15(1:4)2019
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2019
- Creator
- DOI
-
10.18154/RWTH-2019-00950
- URN
-
urn:nbn:de:101:1-2019100106383883308084
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Grädel, Erich
- Grohe, Martin
- Pago, Benedikt
- Pakusa, Wied
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2019
Other Objects (12)
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
A Proof Complexity View of Pseudo-Boolean Solving
The Definitional View of Atomic Systems in Proof-Theoretic Semantics
Proof Complexity 2020
Proof-Theoretic Semantics : Some Basic Ideas
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Two proof-theoretic remarks on EA + ECT
Lifting Applied to Proof Complexity
Proof Complexity for SAT practitioner
Circuit complexity of group theoretic problems
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
A Proof Complexity View of Pseudo-Boolean Solving
The Definitional View of Atomic Systems in Proof-Theoretic Semantics
Proof Complexity 2020
Proof-Theoretic Semantics : Some Basic Ideas
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Two proof-theoretic remarks on EA + ECT
Lifting Applied to Proof Complexity
Proof Complexity for SAT practitioner
Circuit complexity of group theoretic problems
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
A Proof Complexity View of Pseudo-Boolean Solving
The Definitional View of Atomic Systems in Proof-Theoretic Semantics
Proof Complexity 2020
Proof-Theoretic Semantics : Some Basic Ideas
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Two proof-theoretic remarks on EA + ECT
Lifting Applied to Proof Complexity
Proof Complexity for SAT practitioner