Space in Weak Propositional Proof Systems
This book considers logical proof systems from the point of view of their space complexity. After an introduction to propositional proof complexity the author structures the book into three main parts. Part I contains two chapters on resolution, one containing results already known in the literature...
Κύριος συγγραφέας: | Bonacina, Ilario (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010 /
ανά: Lipton, Richard J., κ.ά.
Έκδοση: (2013) -
Deterministic Extraction from Weak Random Sources
ανά: Gabizon, Ariel
Έκδοση: (2011) -
Proofs and Algorithms An Introduction to Logic and Computability /
ανά: Dowek, Gilles
Έκδοση: (2011) -
Proofs from THE BOOK
ανά: Aigner, Martin, κ.ά.
Έκδοση: (2014) -
Extremal Combinatorics With Applications in Computer Science /
ανά: Jukna, Stasys
Έκδοση: (2011)