Matches in SemOpenAlex for { <https://semopenalex.org/work/W2563354002> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2563354002 abstract "Abstract We present an effective proof (with explicit bounds) of the Podelski and Rybalchenko Termination Theorem. The sub-recursive bounds we obtain make use of bar recursion, in the form of the product of selection functions, as this is used to interpret the Weak Ramsey Theorem for pairs. The construction can be seen as calculating a modulus of well-foundedness for a given program given moduli of well-foundedness for the disjunctively well-founded finite set of covering relations. When the input moduli are in system T , this modulus is also definable in system T by a result of Schwichtenberg on bar recursion." @default.
- W2563354002 created "2017-01-06" @default.
- W2563354002 creator A5017026543 @default.
- W2563354002 creator A5084236771 @default.
- W2563354002 creator A5088949609 @default.
- W2563354002 date "2019-06-06" @default.
- W2563354002 modified "2023-09-24" @default.
- W2563354002 title "An analysis of the Podelski–Rybalchenko termination theorem via bar recursion" @default.
- W2563354002 cites W1965352021 @default.
- W2563354002 cites W1995130513 @default.
- W2563354002 cites W2028602249 @default.
- W2563354002 cites W2048835253 @default.
- W2563354002 cites W2095689360 @default.
- W2563354002 cites W2106315319 @default.
- W2563354002 cites W2130233653 @default.
- W2563354002 cites W2170105957 @default.
- W2563354002 doi "https://doi.org/10.1093/logcom/exv058" @default.
- W2563354002 hasPublicationYear "2019" @default.
- W2563354002 type Work @default.
- W2563354002 sameAs 2563354002 @default.
- W2563354002 citedByCount "4" @default.
- W2563354002 countsByYear W25633540022016 @default.
- W2563354002 countsByYear W25633540022018 @default.
- W2563354002 countsByYear W25633540022019 @default.
- W2563354002 crossrefType "journal-article" @default.
- W2563354002 hasAuthorship W2563354002A5017026543 @default.
- W2563354002 hasAuthorship W2563354002A5084236771 @default.
- W2563354002 hasAuthorship W2563354002A5088949609 @default.
- W2563354002 hasBestOaLocation W25633540022 @default.
- W2563354002 hasConcept C105795698 @default.
- W2563354002 hasConcept C11413529 @default.
- W2563354002 hasConcept C121332964 @default.
- W2563354002 hasConcept C153294291 @default.
- W2563354002 hasConcept C168773036 @default.
- W2563354002 hasConcept C188721877 @default.
- W2563354002 hasConcept C199343813 @default.
- W2563354002 hasConcept C2777686260 @default.
- W2563354002 hasConcept C33923547 @default.
- W2563354002 hasConcept C41008148 @default.
- W2563354002 hasConcept C61122496 @default.
- W2563354002 hasConcept C71924100 @default.
- W2563354002 hasConceptScore W2563354002C105795698 @default.
- W2563354002 hasConceptScore W2563354002C11413529 @default.
- W2563354002 hasConceptScore W2563354002C121332964 @default.
- W2563354002 hasConceptScore W2563354002C153294291 @default.
- W2563354002 hasConceptScore W2563354002C168773036 @default.
- W2563354002 hasConceptScore W2563354002C188721877 @default.
- W2563354002 hasConceptScore W2563354002C199343813 @default.
- W2563354002 hasConceptScore W2563354002C2777686260 @default.
- W2563354002 hasConceptScore W2563354002C33923547 @default.
- W2563354002 hasConceptScore W2563354002C41008148 @default.
- W2563354002 hasConceptScore W2563354002C61122496 @default.
- W2563354002 hasConceptScore W2563354002C71924100 @default.
- W2563354002 hasLocation W25633540021 @default.
- W2563354002 hasLocation W25633540022 @default.
- W2563354002 hasOpenAccess W2563354002 @default.
- W2563354002 hasPrimaryLocation W25633540021 @default.
- W2563354002 hasRelatedWork W1501698137 @default.
- W2563354002 hasRelatedWork W1995130513 @default.
- W2563354002 hasRelatedWork W2010997439 @default.
- W2563354002 hasRelatedWork W2023101964 @default.
- W2563354002 hasRelatedWork W2046321062 @default.
- W2563354002 hasRelatedWork W2290067105 @default.
- W2563354002 hasRelatedWork W2323089857 @default.
- W2563354002 hasRelatedWork W2330191353 @default.
- W2563354002 hasRelatedWork W2345209419 @default.
- W2563354002 hasRelatedWork W2463649833 @default.
- W2563354002 hasRelatedWork W2498413163 @default.
- W2563354002 hasRelatedWork W2498692701 @default.
- W2563354002 hasRelatedWork W2500350296 @default.
- W2563354002 hasRelatedWork W2507136610 @default.
- W2563354002 hasRelatedWork W2600009487 @default.
- W2563354002 hasRelatedWork W2611024016 @default.
- W2563354002 hasRelatedWork W2734815139 @default.
- W2563354002 hasRelatedWork W2921187183 @default.
- W2563354002 hasRelatedWork W3088432265 @default.
- W2563354002 hasRelatedWork W2182630064 @default.
- W2563354002 isParatext "false" @default.
- W2563354002 isRetracted "false" @default.
- W2563354002 magId "2563354002" @default.
- W2563354002 workType "article" @default.