Matches in SemOpenAlex for { <https://semopenalex.org/work/W47695912> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W47695912 endingPage "166" @default.
- W47695912 startingPage "143" @default.
- W47695912 abstract "In this paper, we consider term rewriting from a functional point of view. A rewrite rule is a function that can be applied to a term using an explicit application function. From this starting point, we show how to define more elaborated functions, describing first rewrite derivations, then sets of derivations. These functions that we call strategies, can themselves be defined by rewrite rules and the construction can be iterated leading to higher order strategies. Furthermore the application function is itself defined using rewriting in the same spirit. We show how this calculus can be defined and we study some of its properties. Its implementation in the ELAN language is used to motivate and exemplify the whole approach." @default.
- W47695912 created "2016-06-24" @default.
- W47695912 creator A5007032974 @default.
- W47695912 creator A5034861143 @default.
- W47695912 creator A5055776480 @default.
- W47695912 date "1998-01-01" @default.
- W47695912 modified "2023-09-23" @default.
- W47695912 title "A Functional View of Rewriting and Strategies for a Semantics of ELAN." @default.
- W47695912 hasPublicationYear "1998" @default.
- W47695912 type Work @default.
- W47695912 sameAs 47695912 @default.
- W47695912 citedByCount "12" @default.
- W47695912 crossrefType "proceedings-article" @default.
- W47695912 hasAuthorship W47695912A5007032974 @default.
- W47695912 hasAuthorship W47695912A5034861143 @default.
- W47695912 hasAuthorship W47695912A5055776480 @default.
- W47695912 hasConcept C121332964 @default.
- W47695912 hasConcept C134306372 @default.
- W47695912 hasConcept C136119220 @default.
- W47695912 hasConcept C14036430 @default.
- W47695912 hasConcept C140479938 @default.
- W47695912 hasConcept C154690210 @default.
- W47695912 hasConcept C184337299 @default.
- W47695912 hasConcept C199343813 @default.
- W47695912 hasConcept C199360897 @default.
- W47695912 hasConcept C202444582 @default.
- W47695912 hasConcept C2524010 @default.
- W47695912 hasConcept C2777686260 @default.
- W47695912 hasConcept C28719098 @default.
- W47695912 hasConcept C33923547 @default.
- W47695912 hasConcept C41008148 @default.
- W47695912 hasConcept C42383842 @default.
- W47695912 hasConcept C61797465 @default.
- W47695912 hasConcept C62520636 @default.
- W47695912 hasConcept C71924100 @default.
- W47695912 hasConcept C77906462 @default.
- W47695912 hasConcept C78458016 @default.
- W47695912 hasConcept C80444323 @default.
- W47695912 hasConcept C86803240 @default.
- W47695912 hasConceptScore W47695912C121332964 @default.
- W47695912 hasConceptScore W47695912C134306372 @default.
- W47695912 hasConceptScore W47695912C136119220 @default.
- W47695912 hasConceptScore W47695912C14036430 @default.
- W47695912 hasConceptScore W47695912C140479938 @default.
- W47695912 hasConceptScore W47695912C154690210 @default.
- W47695912 hasConceptScore W47695912C184337299 @default.
- W47695912 hasConceptScore W47695912C199343813 @default.
- W47695912 hasConceptScore W47695912C199360897 @default.
- W47695912 hasConceptScore W47695912C202444582 @default.
- W47695912 hasConceptScore W47695912C2524010 @default.
- W47695912 hasConceptScore W47695912C2777686260 @default.
- W47695912 hasConceptScore W47695912C28719098 @default.
- W47695912 hasConceptScore W47695912C33923547 @default.
- W47695912 hasConceptScore W47695912C41008148 @default.
- W47695912 hasConceptScore W47695912C42383842 @default.
- W47695912 hasConceptScore W47695912C61797465 @default.
- W47695912 hasConceptScore W47695912C62520636 @default.
- W47695912 hasConceptScore W47695912C71924100 @default.
- W47695912 hasConceptScore W47695912C77906462 @default.
- W47695912 hasConceptScore W47695912C78458016 @default.
- W47695912 hasConceptScore W47695912C80444323 @default.
- W47695912 hasConceptScore W47695912C86803240 @default.
- W47695912 hasOpenAccess W47695912 @default.
- W47695912 hasRelatedWork W1536327987 @default.
- W47695912 hasRelatedWork W1554087857 @default.
- W47695912 hasRelatedWork W1566084073 @default.
- W47695912 hasRelatedWork W1571024986 @default.
- W47695912 hasRelatedWork W1578846473 @default.
- W47695912 hasRelatedWork W1583295953 @default.
- W47695912 hasRelatedWork W1590056785 @default.
- W47695912 hasRelatedWork W16007056 @default.
- W47695912 hasRelatedWork W1688043115 @default.
- W47695912 hasRelatedWork W1967825172 @default.
- W47695912 hasRelatedWork W1976195354 @default.
- W47695912 hasRelatedWork W1996804992 @default.
- W47695912 hasRelatedWork W2035652450 @default.
- W47695912 hasRelatedWork W2042924775 @default.
- W47695912 hasRelatedWork W2053867970 @default.
- W47695912 hasRelatedWork W2065507854 @default.
- W47695912 hasRelatedWork W2147892488 @default.
- W47695912 hasRelatedWork W2246357599 @default.
- W47695912 hasRelatedWork W2613955803 @default.
- W47695912 hasRelatedWork W2094007537 @default.
- W47695912 isParatext "false" @default.
- W47695912 isRetracted "false" @default.
- W47695912 magId "47695912" @default.
- W47695912 workType "article" @default.