Revisiting Space in Proof Complexity: Treewidth and Pathwidth (Q2849955)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Revisiting Space in Proof Complexity: Treewidth and Pathwidth	scientific article

Statements

scholarly article

Revisiting Space in Proof Complexity: Treewidth and Pathwidth (English)

Mathematical Foundations of Computer Science 2013

publication date

20 September 2013

MaRDI profile type

MaRDI publication profile

full work available at URL

https://doi.org/10.1007/978-3-642-40313-2_62

Identifiers

zbMATH Open document ID

10.1007/978-3-642-40313-2_62

Mathematics Subject Classification ID

zbMATH DE Number

Sitelinks

Mathematics(1 entry)

mardi Publication:2849955

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2849955&oldid=31305244"