Matches in SemOpenAlex for { <https://semopenalex.org/work/W2901643300> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2901643300 abstract "This paper is concerned with the termination, in Church' simply-typed λ-calculus, of the combination of β-reduction and arbitrary user-defined rewrite rules fired using matching modulo α-congruence only. Several authors have devised termination criteria for fixpoint-based function definitions using deduction rules for bounding the size of terms inhabiting inductively defined types, where the size of a term is (roughly speaking) the set-theoretical height of the tree representation of its normal form. In the present paper, we extend this approach to rewriting-based function definitions and more general notions of size." @default.
- W2901643300 created "2018-11-29" @default.
- W2901643300 creator A5008794714 @default.
- W2901643300 date "2017-01-06" @default.
- W2901643300 modified "2023-09-23" @default.
- W2901643300 title "Size-based termination of higher-order rewrite systems" @default.
- W2901643300 hasPublicationYear "2017" @default.
- W2901643300 type Work @default.
- W2901643300 sameAs 2901643300 @default.
- W2901643300 citedByCount "0" @default.
- W2901643300 crossrefType "journal-article" @default.
- W2901643300 hasAuthorship W2901643300A5008794714 @default.
- W2901643300 hasConcept C111335779 @default.
- W2901643300 hasConcept C113174947 @default.
- W2901643300 hasConcept C11413529 @default.
- W2901643300 hasConcept C114614502 @default.
- W2901643300 hasConcept C118615104 @default.
- W2901643300 hasConcept C121332964 @default.
- W2901643300 hasConcept C132074034 @default.
- W2901643300 hasConcept C14036430 @default.
- W2901643300 hasConcept C154690210 @default.
- W2901643300 hasConcept C154945302 @default.
- W2901643300 hasConcept C177264268 @default.
- W2901643300 hasConcept C199360897 @default.
- W2901643300 hasConcept C2524010 @default.
- W2901643300 hasConcept C33923547 @default.
- W2901643300 hasConcept C41008148 @default.
- W2901643300 hasConcept C54732982 @default.
- W2901643300 hasConcept C61797465 @default.
- W2901643300 hasConcept C62520636 @default.
- W2901643300 hasConcept C63584917 @default.
- W2901643300 hasConcept C78458016 @default.
- W2901643300 hasConcept C86803240 @default.
- W2901643300 hasConceptScore W2901643300C111335779 @default.
- W2901643300 hasConceptScore W2901643300C113174947 @default.
- W2901643300 hasConceptScore W2901643300C11413529 @default.
- W2901643300 hasConceptScore W2901643300C114614502 @default.
- W2901643300 hasConceptScore W2901643300C118615104 @default.
- W2901643300 hasConceptScore W2901643300C121332964 @default.
- W2901643300 hasConceptScore W2901643300C132074034 @default.
- W2901643300 hasConceptScore W2901643300C14036430 @default.
- W2901643300 hasConceptScore W2901643300C154690210 @default.
- W2901643300 hasConceptScore W2901643300C154945302 @default.
- W2901643300 hasConceptScore W2901643300C177264268 @default.
- W2901643300 hasConceptScore W2901643300C199360897 @default.
- W2901643300 hasConceptScore W2901643300C2524010 @default.
- W2901643300 hasConceptScore W2901643300C33923547 @default.
- W2901643300 hasConceptScore W2901643300C41008148 @default.
- W2901643300 hasConceptScore W2901643300C54732982 @default.
- W2901643300 hasConceptScore W2901643300C61797465 @default.
- W2901643300 hasConceptScore W2901643300C62520636 @default.
- W2901643300 hasConceptScore W2901643300C63584917 @default.
- W2901643300 hasConceptScore W2901643300C78458016 @default.
- W2901643300 hasConceptScore W2901643300C86803240 @default.
- W2901643300 hasLocation W29016433001 @default.
- W2901643300 hasOpenAccess W2901643300 @default.
- W2901643300 hasPrimaryLocation W29016433001 @default.
- W2901643300 hasRelatedWork W1481783499 @default.
- W2901643300 hasRelatedWork W1486381108 @default.
- W2901643300 hasRelatedWork W1515150570 @default.
- W2901643300 hasRelatedWork W1516645628 @default.
- W2901643300 hasRelatedWork W1593740543 @default.
- W2901643300 hasRelatedWork W1594451895 @default.
- W2901643300 hasRelatedWork W1791042548 @default.
- W2901643300 hasRelatedWork W1839102226 @default.
- W2901643300 hasRelatedWork W1986072156 @default.
- W2901643300 hasRelatedWork W2081174735 @default.
- W2901643300 hasRelatedWork W2089599948 @default.
- W2901643300 hasRelatedWork W2143940368 @default.
- W2901643300 hasRelatedWork W2543039619 @default.
- W2901643300 hasRelatedWork W2949171851 @default.
- W2901643300 hasRelatedWork W2950824594 @default.
- W2901643300 hasRelatedWork W2951265876 @default.
- W2901643300 hasRelatedWork W2963645437 @default.
- W2901643300 hasRelatedWork W3042468750 @default.
- W2901643300 hasRelatedWork W403056589 @default.
- W2901643300 hasRelatedWork W960508059 @default.
- W2901643300 isParatext "false" @default.
- W2901643300 isRetracted "false" @default.
- W2901643300 magId "2901643300" @default.
- W2901643300 workType "article" @default.