Matches in SemOpenAlex for { <https://semopenalex.org/work/W2918454531> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2918454531 endingPage "110" @default.
- W2918454531 startingPage "92" @default.
- W2918454531 abstract "Proof terms in term rewriting are a representation means for reduction sequences, and more in general for contraction activity, allowing to distinguish e.g. simultaneous from sequential reduction. Proof terms for finitary, first-order, left-linear term rewriting are described in the literature. In a previous work, we defined an extension of the finitary proof-term formalism, that allows to describe contractions in infinitary first-order term rewriting, and gave a characterisation of permutation equivalence. In this work, we discuss how projections of possibly infinite rewrite sequences can be modelled using proof terms. Again, the foundation is a characterisation of projections for finitary rewriting. We extend this characterisation to infinitary rewriting and also refine it, by describing precisely the role that structural equivalence plays in the development of the notion of projection. The characterisation we propose yields a definite expression, i.e. a proof term, that describes the projection of an infinitary reduction over another. To illustrate the working of projections, we show how a common reduct of a (possibly infinite) reduction and a single step that makes part of it can be obtained via their respective projections. We show, by means of several examples, that the proposed definition yields the expected behaviour also in cases beyond those covered by this result. Finally, we discuss how the notion of limit is used in our definition of projection for infinite reduction." @default.
- W2918454531 created "2019-03-11" @default.
- W2918454531 creator A5043504722 @default.
- W2918454531 creator A5064308541 @default.
- W2918454531 creator A5069219118 @default.
- W2918454531 date "2019-08-01" @default.
- W2918454531 modified "2023-10-09" @default.
- W2918454531 title "Projections for infinitary rewriting (extended version)" @default.
- W2918454531 cites W2012961833 @default.
- W2918454531 cites W2084745607 @default.
- W2918454531 doi "https://doi.org/10.1016/j.tcs.2019.02.017" @default.
- W2918454531 hasPublicationYear "2019" @default.
- W2918454531 type Work @default.
- W2918454531 sameAs 2918454531 @default.
- W2918454531 citedByCount "1" @default.
- W2918454531 countsByYear W29184545312020 @default.
- W2918454531 crossrefType "journal-article" @default.
- W2918454531 hasAuthorship W2918454531A5043504722 @default.
- W2918454531 hasAuthorship W2918454531A5064308541 @default.
- W2918454531 hasAuthorship W2918454531A5069219118 @default.
- W2918454531 hasBestOaLocation W29184545311 @default.
- W2918454531 hasConcept C111335779 @default.
- W2918454531 hasConcept C11413529 @default.
- W2918454531 hasConcept C118615104 @default.
- W2918454531 hasConcept C121332964 @default.
- W2918454531 hasConcept C136119220 @default.
- W2918454531 hasConcept C154690210 @default.
- W2918454531 hasConcept C199360897 @default.
- W2918454531 hasConcept C202444582 @default.
- W2918454531 hasConcept C2524010 @default.
- W2918454531 hasConcept C2778003309 @default.
- W2918454531 hasConcept C2780069185 @default.
- W2918454531 hasConcept C33923547 @default.
- W2918454531 hasConcept C41008148 @default.
- W2918454531 hasConcept C57493831 @default.
- W2918454531 hasConcept C61797465 @default.
- W2918454531 hasConcept C62520636 @default.
- W2918454531 hasConcept C77906462 @default.
- W2918454531 hasConceptScore W2918454531C111335779 @default.
- W2918454531 hasConceptScore W2918454531C11413529 @default.
- W2918454531 hasConceptScore W2918454531C118615104 @default.
- W2918454531 hasConceptScore W2918454531C121332964 @default.
- W2918454531 hasConceptScore W2918454531C136119220 @default.
- W2918454531 hasConceptScore W2918454531C154690210 @default.
- W2918454531 hasConceptScore W2918454531C199360897 @default.
- W2918454531 hasConceptScore W2918454531C202444582 @default.
- W2918454531 hasConceptScore W2918454531C2524010 @default.
- W2918454531 hasConceptScore W2918454531C2778003309 @default.
- W2918454531 hasConceptScore W2918454531C2780069185 @default.
- W2918454531 hasConceptScore W2918454531C33923547 @default.
- W2918454531 hasConceptScore W2918454531C41008148 @default.
- W2918454531 hasConceptScore W2918454531C57493831 @default.
- W2918454531 hasConceptScore W2918454531C61797465 @default.
- W2918454531 hasConceptScore W2918454531C62520636 @default.
- W2918454531 hasConceptScore W2918454531C77906462 @default.
- W2918454531 hasFunder F4320325873 @default.
- W2918454531 hasLocation W29184545311 @default.
- W2918454531 hasOpenAccess W2918454531 @default.
- W2918454531 hasPrimaryLocation W29184545311 @default.
- W2918454531 hasRelatedWork W1506205964 @default.
- W2918454531 hasRelatedWork W1515515243 @default.
- W2918454531 hasRelatedWork W2142543897 @default.
- W2918454531 hasRelatedWork W2295119103 @default.
- W2918454531 hasRelatedWork W2316704281 @default.
- W2918454531 hasRelatedWork W2517733820 @default.
- W2918454531 hasRelatedWork W2566257015 @default.
- W2918454531 hasRelatedWork W4297774668 @default.
- W2918454531 hasRelatedWork W2475418661 @default.
- W2918454531 hasRelatedWork W2583732129 @default.
- W2918454531 hasVolume "781" @default.
- W2918454531 isParatext "false" @default.
- W2918454531 isRetracted "false" @default.
- W2918454531 magId "2918454531" @default.
- W2918454531 workType "article" @default.