Matches in SemOpenAlex for { <https://semopenalex.org/work/W2396003441> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2396003441 startingPage "113" @default.
- W2396003441 abstract "So-called ordered variants of the classical notions of pathwidth and treewidth are introduced and proposed as proof theoretically meaningful complexity measures for the directed acyclic graphs underlying proofs. The ordered pathwidth of a proof is shown to be roughly the same as its formula space. Length-space lower bounds for R(k)-refutations are generalized to arbitrary infinity axioms and strengthened in that the space measure is relaxed to ordered treewidth." @default.
- W2396003441 created "2016-06-24" @default.
- W2396003441 creator A5011254078 @default.
- W2396003441 creator A5037092803 @default.
- W2396003441 date "2013-01-01" @default.
- W2396003441 modified "2023-09-26" @default.
- W2396003441 title "Revisiting Space in Proof Complexity: Treewidth and Pathwidth." @default.
- W2396003441 hasPublicationYear "2013" @default.
- W2396003441 type Work @default.
- W2396003441 sameAs 2396003441 @default.
- W2396003441 citedByCount "0" @default.
- W2396003441 crossrefType "journal-article" @default.
- W2396003441 hasAuthorship W2396003441A5011254078 @default.
- W2396003441 hasAuthorship W2396003441A5037092803 @default.
- W2396003441 hasConcept C105605280 @default.
- W2396003441 hasConcept C108710211 @default.
- W2396003441 hasConcept C111919701 @default.
- W2396003441 hasConcept C114614502 @default.
- W2396003441 hasConcept C118615104 @default.
- W2396003441 hasConcept C132525143 @default.
- W2396003441 hasConcept C132569581 @default.
- W2396003441 hasConcept C134306372 @default.
- W2396003441 hasConcept C167729594 @default.
- W2396003441 hasConcept C203776342 @default.
- W2396003441 hasConcept C2524010 @default.
- W2396003441 hasConcept C2778572836 @default.
- W2396003441 hasConcept C33923547 @default.
- W2396003441 hasConcept C41008148 @default.
- W2396003441 hasConcept C43517604 @default.
- W2396003441 hasConcept C7321624 @default.
- W2396003441 hasConceptScore W2396003441C105605280 @default.
- W2396003441 hasConceptScore W2396003441C108710211 @default.
- W2396003441 hasConceptScore W2396003441C111919701 @default.
- W2396003441 hasConceptScore W2396003441C114614502 @default.
- W2396003441 hasConceptScore W2396003441C118615104 @default.
- W2396003441 hasConceptScore W2396003441C132525143 @default.
- W2396003441 hasConceptScore W2396003441C132569581 @default.
- W2396003441 hasConceptScore W2396003441C134306372 @default.
- W2396003441 hasConceptScore W2396003441C167729594 @default.
- W2396003441 hasConceptScore W2396003441C203776342 @default.
- W2396003441 hasConceptScore W2396003441C2524010 @default.
- W2396003441 hasConceptScore W2396003441C2778572836 @default.
- W2396003441 hasConceptScore W2396003441C33923547 @default.
- W2396003441 hasConceptScore W2396003441C41008148 @default.
- W2396003441 hasConceptScore W2396003441C43517604 @default.
- W2396003441 hasConceptScore W2396003441C7321624 @default.
- W2396003441 hasLocation W23960034411 @default.
- W2396003441 hasOpenAccess W2396003441 @default.
- W2396003441 hasPrimaryLocation W23960034411 @default.
- W2396003441 hasRelatedWork W145900249 @default.
- W2396003441 hasRelatedWork W1519337743 @default.
- W2396003441 hasRelatedWork W1541872440 @default.
- W2396003441 hasRelatedWork W1567846816 @default.
- W2396003441 hasRelatedWork W1620689985 @default.
- W2396003441 hasRelatedWork W1908819570 @default.
- W2396003441 hasRelatedWork W2003272326 @default.
- W2396003441 hasRelatedWork W2029390834 @default.
- W2396003441 hasRelatedWork W2074729689 @default.
- W2396003441 hasRelatedWork W2122782108 @default.
- W2396003441 hasRelatedWork W2128906567 @default.
- W2396003441 hasRelatedWork W2146100374 @default.
- W2396003441 hasRelatedWork W2159783982 @default.
- W2396003441 hasRelatedWork W2248548903 @default.
- W2396003441 hasRelatedWork W2730643286 @default.
- W2396003441 hasRelatedWork W2899548473 @default.
- W2396003441 hasRelatedWork W3081800182 @default.
- W2396003441 hasRelatedWork W3090142643 @default.
- W2396003441 hasRelatedWork W3113860026 @default.
- W2396003441 hasRelatedWork W3178493692 @default.
- W2396003441 hasVolume "20" @default.
- W2396003441 isParatext "false" @default.
- W2396003441 isRetracted "false" @default.
- W2396003441 magId "2396003441" @default.
- W2396003441 workType "article" @default.