Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046382802> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2046382802 endingPage "736" @default.
- W2046382802 startingPage "711" @default.
- W2046382802 abstract "Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all the known results on definable functions of certain such theories can be reobtained in a uniform way." @default.
- W2046382802 created "2016-06-24" @default.
- W2046382802 creator A5055860523 @default.
- W2046382802 creator A5084524620 @default.
- W2046382802 date "2010-03-01" @default.
- W2046382802 modified "2023-09-27" @default.
- W2046382802 title "On the computational complexity of cut-reduction" @default.
- W2046382802 cites W1525064220 @default.
- W2046382802 cites W1983604941 @default.
- W2046382802 cites W2024515723 @default.
- W2046382802 cites W2039977878 @default.
- W2046382802 cites W2052942192 @default.
- W2046382802 cites W2068743712 @default.
- W2046382802 cites W2071823993 @default.
- W2046382802 cites W2086316626 @default.
- W2046382802 cites W2103981148 @default.
- W2046382802 cites W2133313069 @default.
- W2046382802 cites W2160804094 @default.
- W2046382802 cites W2318443385 @default.
- W2046382802 cites W4238292764 @default.
- W2046382802 doi "https://doi.org/10.1016/j.apal.2009.06.004" @default.
- W2046382802 hasPublicationYear "2010" @default.
- W2046382802 type Work @default.
- W2046382802 sameAs 2046382802 @default.
- W2046382802 citedByCount "3" @default.
- W2046382802 countsByYear W20463828022015 @default.
- W2046382802 crossrefType "journal-article" @default.
- W2046382802 hasAuthorship W2046382802A5055860523 @default.
- W2046382802 hasAuthorship W2046382802A5084524620 @default.
- W2046382802 hasBestOaLocation W20463828022 @default.
- W2046382802 hasConcept C108710211 @default.
- W2046382802 hasConcept C111335779 @default.
- W2046382802 hasConcept C11413529 @default.
- W2046382802 hasConcept C118615104 @default.
- W2046382802 hasConcept C134306372 @default.
- W2046382802 hasConcept C136119220 @default.
- W2046382802 hasConcept C179799912 @default.
- W2046382802 hasConcept C202444582 @default.
- W2046382802 hasConcept C2524010 @default.
- W2046382802 hasConcept C33923547 @default.
- W2046382802 hasConcept C34388435 @default.
- W2046382802 hasConcept C41008148 @default.
- W2046382802 hasConcept C45357846 @default.
- W2046382802 hasConcept C80444323 @default.
- W2046382802 hasConcept C94375191 @default.
- W2046382802 hasConceptScore W2046382802C108710211 @default.
- W2046382802 hasConceptScore W2046382802C111335779 @default.
- W2046382802 hasConceptScore W2046382802C11413529 @default.
- W2046382802 hasConceptScore W2046382802C118615104 @default.
- W2046382802 hasConceptScore W2046382802C134306372 @default.
- W2046382802 hasConceptScore W2046382802C136119220 @default.
- W2046382802 hasConceptScore W2046382802C179799912 @default.
- W2046382802 hasConceptScore W2046382802C202444582 @default.
- W2046382802 hasConceptScore W2046382802C2524010 @default.
- W2046382802 hasConceptScore W2046382802C33923547 @default.
- W2046382802 hasConceptScore W2046382802C34388435 @default.
- W2046382802 hasConceptScore W2046382802C41008148 @default.
- W2046382802 hasConceptScore W2046382802C45357846 @default.
- W2046382802 hasConceptScore W2046382802C80444323 @default.
- W2046382802 hasConceptScore W2046382802C94375191 @default.
- W2046382802 hasIssue "6" @default.
- W2046382802 hasLocation W20463828021 @default.
- W2046382802 hasLocation W20463828022 @default.
- W2046382802 hasOpenAccess W2046382802 @default.
- W2046382802 hasPrimaryLocation W20463828021 @default.
- W2046382802 hasRelatedWork W153061534 @default.
- W2046382802 hasRelatedWork W1999551182 @default.
- W2046382802 hasRelatedWork W2046382802 @default.
- W2046382802 hasRelatedWork W2074425862 @default.
- W2046382802 hasRelatedWork W2117563504 @default.
- W2046382802 hasRelatedWork W2147358529 @default.
- W2046382802 hasRelatedWork W2171847006 @default.
- W2046382802 hasRelatedWork W2384088252 @default.
- W2046382802 hasRelatedWork W2951688426 @default.
- W2046382802 hasRelatedWork W6135152 @default.
- W2046382802 hasVolume "161" @default.
- W2046382802 isParatext "false" @default.
- W2046382802 isRetracted "false" @default.
- W2046382802 magId "2046382802" @default.
- W2046382802 workType "article" @default.