Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065616401> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2065616401 endingPage "63" @default.
- W2065616401 startingPage "51" @default.
- W2065616401 abstract "In this paper we study the decidability of reachability, normalisation, and neededness in n-shallow and n-growing TRSs. In an n-growing TRS, a variable that occurs both on the left- and right-hand side of a rewrite rule must be at depth n on the left-hand side and at depth greater than n on the right-hand side. In an n-shallow TRS, a variable that occurs both on the left- and right-hand side of a rewrite rule must be at depth n on both sides. The n-growing and n-shallow TRSs are generalisations of the growing and shallow TRSs as introduced by Jacquemard and Comon. For both shallow and growing TRSs reachability, normalisation, and (in the orthogonal case) neededness are decidable. However, as we show, these results do not generalise to n-growing and n-shallow TRSs. Consequently, no algorithm exists that performs a needed reduction strategy in n-growing or n-shallow TRSs." @default.
- W2065616401 created "2016-06-24" @default.
- W2065616401 creator A5012771721 @default.
- W2065616401 date "2005-04-01" @default.
- W2065616401 modified "2023-09-23" @default.
- W2065616401 title "Some Undecidable Approximations of TRSs" @default.
- W2065616401 cites W1551719154 @default.
- W2065616401 cites W1569678193 @default.
- W2065616401 cites W1583295953 @default.
- W2065616401 cites W1585460393 @default.
- W2065616401 cites W1958238363 @default.
- W2065616401 cites W1990705256 @default.
- W2065616401 cites W2011805144 @default.
- W2065616401 cites W20773390 @default.
- W2065616401 cites W2106516665 @default.
- W2065616401 cites W2116976042 @default.
- W2065616401 cites W2913954530 @default.
- W2065616401 cites W598205067 @default.
- W2065616401 doi "https://doi.org/10.1016/j.entcs.2004.11.024" @default.
- W2065616401 hasPublicationYear "2005" @default.
- W2065616401 type Work @default.
- W2065616401 sameAs 2065616401 @default.
- W2065616401 citedByCount "0" @default.
- W2065616401 crossrefType "journal-article" @default.
- W2065616401 hasAuthorship W2065616401A5012771721 @default.
- W2065616401 hasBestOaLocation W20656164011 @default.
- W2065616401 hasConcept C11413529 @default.
- W2065616401 hasConcept C134306372 @default.
- W2065616401 hasConcept C136643341 @default.
- W2065616401 hasConcept C153269930 @default.
- W2065616401 hasConcept C182365436 @default.
- W2065616401 hasConcept C192034797 @default.
- W2065616401 hasConcept C33923547 @default.
- W2065616401 hasConcept C41008148 @default.
- W2065616401 hasConceptScore W2065616401C11413529 @default.
- W2065616401 hasConceptScore W2065616401C134306372 @default.
- W2065616401 hasConceptScore W2065616401C136643341 @default.
- W2065616401 hasConceptScore W2065616401C153269930 @default.
- W2065616401 hasConceptScore W2065616401C182365436 @default.
- W2065616401 hasConceptScore W2065616401C192034797 @default.
- W2065616401 hasConceptScore W2065616401C33923547 @default.
- W2065616401 hasConceptScore W2065616401C41008148 @default.
- W2065616401 hasIssue "2" @default.
- W2065616401 hasLocation W20656164011 @default.
- W2065616401 hasOpenAccess W2065616401 @default.
- W2065616401 hasPrimaryLocation W20656164011 @default.
- W2065616401 hasRelatedWork W1553002193 @default.
- W2065616401 hasRelatedWork W1563786920 @default.
- W2065616401 hasRelatedWork W1805200712 @default.
- W2065616401 hasRelatedWork W1993478572 @default.
- W2065616401 hasRelatedWork W2020140696 @default.
- W2065616401 hasRelatedWork W2099490078 @default.
- W2065616401 hasRelatedWork W2591956186 @default.
- W2065616401 hasRelatedWork W2949627086 @default.
- W2065616401 hasRelatedWork W4300333639 @default.
- W2065616401 hasRelatedWork W2584984136 @default.
- W2065616401 hasVolume "124" @default.
- W2065616401 isParatext "false" @default.
- W2065616401 isRetracted "false" @default.
- W2065616401 magId "2065616401" @default.
- W2065616401 workType "article" @default.