Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288302555> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4288302555 abstract "Dependency pairs are a key concept at the core of modern automated termination provers for first-order term rewriting systems. In this paper, we introduce an extension of this technique for a large class of dependently-typed higher-order rewriting systems. This extends previous resultsby Wahlstedt on the one hand and the first author on the other hand to strong normalization and non-orthogonal rewriting systems. This new criterion is implemented in the type-checker Dedukti." @default.
- W4288302555 created "2022-07-28" @default.
- W4288302555 creator A5008794714 @default.
- W4288302555 creator A5020794048 @default.
- W4288302555 creator A5059330889 @default.
- W4288302555 date "2019-06-11" @default.
- W4288302555 modified "2023-09-23" @default.
- W4288302555 title "Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting" @default.
- W4288302555 hasPublicationYear "2019" @default.
- W4288302555 type Work @default.
- W4288302555 citedByCount "0" @default.
- W4288302555 crossrefType "proceedings-article" @default.
- W4288302555 hasAuthorship W4288302555A5008794714 @default.
- W4288302555 hasAuthorship W4288302555A5020794048 @default.
- W4288302555 hasAuthorship W4288302555A5059330889 @default.
- W4288302555 hasBestOaLocation W42883025551 @default.
- W4288302555 hasConcept C118615104 @default.
- W4288302555 hasConcept C121332964 @default.
- W4288302555 hasConcept C136886441 @default.
- W4288302555 hasConcept C144024400 @default.
- W4288302555 hasConcept C154690210 @default.
- W4288302555 hasConcept C154945302 @default.
- W4288302555 hasConcept C18903297 @default.
- W4288302555 hasConcept C19165224 @default.
- W4288302555 hasConcept C19768560 @default.
- W4288302555 hasConcept C199360897 @default.
- W4288302555 hasConcept C2777299769 @default.
- W4288302555 hasConcept C2778029271 @default.
- W4288302555 hasConcept C33923547 @default.
- W4288302555 hasConcept C41008148 @default.
- W4288302555 hasConcept C54732982 @default.
- W4288302555 hasConcept C61797465 @default.
- W4288302555 hasConcept C62520636 @default.
- W4288302555 hasConcept C77906462 @default.
- W4288302555 hasConcept C80444323 @default.
- W4288302555 hasConcept C86803240 @default.
- W4288302555 hasConcept C93682546 @default.
- W4288302555 hasConceptScore W4288302555C118615104 @default.
- W4288302555 hasConceptScore W4288302555C121332964 @default.
- W4288302555 hasConceptScore W4288302555C136886441 @default.
- W4288302555 hasConceptScore W4288302555C144024400 @default.
- W4288302555 hasConceptScore W4288302555C154690210 @default.
- W4288302555 hasConceptScore W4288302555C154945302 @default.
- W4288302555 hasConceptScore W4288302555C18903297 @default.
- W4288302555 hasConceptScore W4288302555C19165224 @default.
- W4288302555 hasConceptScore W4288302555C19768560 @default.
- W4288302555 hasConceptScore W4288302555C199360897 @default.
- W4288302555 hasConceptScore W4288302555C2777299769 @default.
- W4288302555 hasConceptScore W4288302555C2778029271 @default.
- W4288302555 hasConceptScore W4288302555C33923547 @default.
- W4288302555 hasConceptScore W4288302555C41008148 @default.
- W4288302555 hasConceptScore W4288302555C54732982 @default.
- W4288302555 hasConceptScore W4288302555C61797465 @default.
- W4288302555 hasConceptScore W4288302555C62520636 @default.
- W4288302555 hasConceptScore W4288302555C77906462 @default.
- W4288302555 hasConceptScore W4288302555C80444323 @default.
- W4288302555 hasConceptScore W4288302555C86803240 @default.
- W4288302555 hasConceptScore W4288302555C93682546 @default.
- W4288302555 hasLocation W42883025551 @default.
- W4288302555 hasLocation W42883025552 @default.
- W4288302555 hasLocation W42883025553 @default.
- W4288302555 hasLocation W42883025554 @default.
- W4288302555 hasLocation W42883025555 @default.
- W4288302555 hasOpenAccess W4288302555 @default.
- W4288302555 hasPrimaryLocation W42883025551 @default.
- W4288302555 hasRelatedWork W1494089738 @default.
- W4288302555 hasRelatedWork W1509641293 @default.
- W4288302555 hasRelatedWork W1555815308 @default.
- W4288302555 hasRelatedWork W1979913153 @default.
- W4288302555 hasRelatedWork W2024821946 @default.
- W4288302555 hasRelatedWork W2150480744 @default.
- W4288302555 hasRelatedWork W2407690295 @default.
- W4288302555 hasRelatedWork W4288302555 @default.
- W4288302555 hasRelatedWork W1679853627 @default.
- W4288302555 hasRelatedWork W2585339290 @default.
- W4288302555 isParatext "false" @default.
- W4288302555 isRetracted "false" @default.
- W4288302555 workType "article" @default.