Matches in SemOpenAlex for { <https://semopenalex.org/work/W4248733413> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4248733413 abstract "This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area." @default.
- W4248733413 created "2022-05-12" @default.
- W4248733413 creator A5069803587 @default.
- W4248733413 date "1995-11-24" @default.
- W4248733413 modified "2023-10-10" @default.
- W4248733413 title "Bounded Arithmetic, Propositional Logic and Complexity Theory" @default.
- W4248733413 doi "https://doi.org/10.1017/cbo9780511529948" @default.
- W4248733413 hasPublicationYear "1995" @default.
- W4248733413 type Work @default.
- W4248733413 citedByCount "211" @default.
- W4248733413 countsByYear W42487334132012 @default.
- W4248733413 countsByYear W42487334132013 @default.
- W4248733413 countsByYear W42487334132014 @default.
- W4248733413 countsByYear W42487334132015 @default.
- W4248733413 countsByYear W42487334132016 @default.
- W4248733413 countsByYear W42487334132017 @default.
- W4248733413 countsByYear W42487334132018 @default.
- W4248733413 countsByYear W42487334132019 @default.
- W4248733413 countsByYear W42487334132020 @default.
- W4248733413 countsByYear W42487334132022 @default.
- W4248733413 countsByYear W42487334132023 @default.
- W4248733413 crossrefType "monograph" @default.
- W4248733413 hasAuthorship W4248733413A5069803587 @default.
- W4248733413 hasConcept C102993220 @default.
- W4248733413 hasConcept C105605280 @default.
- W4248733413 hasConcept C108710211 @default.
- W4248733413 hasConcept C110039528 @default.
- W4248733413 hasConcept C118615104 @default.
- W4248733413 hasConcept C134306372 @default.
- W4248733413 hasConcept C136119220 @default.
- W4248733413 hasConcept C14523651 @default.
- W4248733413 hasConcept C191222856 @default.
- W4248733413 hasConcept C199343813 @default.
- W4248733413 hasConcept C202444582 @default.
- W4248733413 hasConcept C203659156 @default.
- W4248733413 hasConcept C2318724 @default.
- W4248733413 hasConcept C2524010 @default.
- W4248733413 hasConcept C2777686260 @default.
- W4248733413 hasConcept C311688 @default.
- W4248733413 hasConcept C33203268 @default.
- W4248733413 hasConcept C33923547 @default.
- W4248733413 hasConcept C34388435 @default.
- W4248733413 hasConcept C39637292 @default.
- W4248733413 hasConcept C41008148 @default.
- W4248733413 hasConcept C69562738 @default.
- W4248733413 hasConcept C71924100 @default.
- W4248733413 hasConcept C80444323 @default.
- W4248733413 hasConceptScore W4248733413C102993220 @default.
- W4248733413 hasConceptScore W4248733413C105605280 @default.
- W4248733413 hasConceptScore W4248733413C108710211 @default.
- W4248733413 hasConceptScore W4248733413C110039528 @default.
- W4248733413 hasConceptScore W4248733413C118615104 @default.
- W4248733413 hasConceptScore W4248733413C134306372 @default.
- W4248733413 hasConceptScore W4248733413C136119220 @default.
- W4248733413 hasConceptScore W4248733413C14523651 @default.
- W4248733413 hasConceptScore W4248733413C191222856 @default.
- W4248733413 hasConceptScore W4248733413C199343813 @default.
- W4248733413 hasConceptScore W4248733413C202444582 @default.
- W4248733413 hasConceptScore W4248733413C203659156 @default.
- W4248733413 hasConceptScore W4248733413C2318724 @default.
- W4248733413 hasConceptScore W4248733413C2524010 @default.
- W4248733413 hasConceptScore W4248733413C2777686260 @default.
- W4248733413 hasConceptScore W4248733413C311688 @default.
- W4248733413 hasConceptScore W4248733413C33203268 @default.
- W4248733413 hasConceptScore W4248733413C33923547 @default.
- W4248733413 hasConceptScore W4248733413C34388435 @default.
- W4248733413 hasConceptScore W4248733413C39637292 @default.
- W4248733413 hasConceptScore W4248733413C41008148 @default.
- W4248733413 hasConceptScore W4248733413C69562738 @default.
- W4248733413 hasConceptScore W4248733413C71924100 @default.
- W4248733413 hasConceptScore W4248733413C80444323 @default.
- W4248733413 hasLocation W42487334131 @default.
- W4248733413 hasOpenAccess W4248733413 @default.
- W4248733413 hasPrimaryLocation W42487334131 @default.
- W4248733413 hasRelatedWork W1834198313 @default.
- W4248733413 hasRelatedWork W1892325353 @default.
- W4248733413 hasRelatedWork W2081976468 @default.
- W4248733413 hasRelatedWork W2383380621 @default.
- W4248733413 hasRelatedWork W2476592865 @default.
- W4248733413 hasRelatedWork W2591594485 @default.
- W4248733413 hasRelatedWork W4251854500 @default.
- W4248733413 hasRelatedWork W4253001830 @default.
- W4248733413 hasRelatedWork W4295125459 @default.
- W4248733413 hasRelatedWork W2472593905 @default.
- W4248733413 isParatext "false" @default.
- W4248733413 isRetracted "false" @default.
- W4248733413 workType "book" @default.