Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122373062> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2122373062 abstract "The author introduces persistent term rewriting systems (PTRSs) by restricting redex-creation during reductions in orthogonal term rewriting systems (OTRSs). In particular, recursive (applicative) program schemes (RPSs) considered as TRSs, are persistent. Two PTRSs R and R' are syntactically equivalent when any term t has an R-normal form if it has an R'-normal form and they coincide. He proves that syntactic equivalence is decidable for PTRSs. Further, he shows that the equivalence problem (over all continuous interpretations) is decidable for RPSs with unary basic functions by reducing the question to a decidable number-theory problem. Finally, he shows that weak and strong normalization and the reducibility problem also are decidable in PTRSs. >" @default.
- W2122373062 created "2016-06-24" @default.
- W2122373062 creator A5025992214 @default.
- W2122373062 date "2002-12-31" @default.
- W2122373062 modified "2023-09-23" @default.
- W2122373062 title "On the equivalence of persistent term rewriting systems and recursive program schemes" @default.
- W2122373062 cites W120038171 @default.
- W2122373062 cites W1508399233 @default.
- W2122373062 cites W1973187217 @default.
- W2122373062 cites W2025170645 @default.
- W2122373062 cites W2126018011 @default.
- W2122373062 cites W2912818154 @default.
- W2122373062 cites W3023167321 @default.
- W2122373062 doi "https://doi.org/10.1109/istcs.1993.253465" @default.
- W2122373062 hasPublicationYear "2002" @default.
- W2122373062 type Work @default.
- W2122373062 sameAs 2122373062 @default.
- W2122373062 citedByCount "2" @default.
- W2122373062 crossrefType "proceedings-article" @default.
- W2122373062 hasAuthorship W2122373062A5025992214 @default.
- W2122373062 hasConcept C118615104 @default.
- W2122373062 hasConcept C121332964 @default.
- W2122373062 hasConcept C136119220 @default.
- W2122373062 hasConcept C136886441 @default.
- W2122373062 hasConcept C144024400 @default.
- W2122373062 hasConcept C153269930 @default.
- W2122373062 hasConcept C154690210 @default.
- W2122373062 hasConcept C19165224 @default.
- W2122373062 hasConcept C199360897 @default.
- W2122373062 hasConcept C202444582 @default.
- W2122373062 hasConcept C2780069185 @default.
- W2122373062 hasConcept C33923547 @default.
- W2122373062 hasConcept C41008148 @default.
- W2122373062 hasConcept C61797465 @default.
- W2122373062 hasConcept C62520636 @default.
- W2122373062 hasConcept C78023250 @default.
- W2122373062 hasConceptScore W2122373062C118615104 @default.
- W2122373062 hasConceptScore W2122373062C121332964 @default.
- W2122373062 hasConceptScore W2122373062C136119220 @default.
- W2122373062 hasConceptScore W2122373062C136886441 @default.
- W2122373062 hasConceptScore W2122373062C144024400 @default.
- W2122373062 hasConceptScore W2122373062C153269930 @default.
- W2122373062 hasConceptScore W2122373062C154690210 @default.
- W2122373062 hasConceptScore W2122373062C19165224 @default.
- W2122373062 hasConceptScore W2122373062C199360897 @default.
- W2122373062 hasConceptScore W2122373062C202444582 @default.
- W2122373062 hasConceptScore W2122373062C2780069185 @default.
- W2122373062 hasConceptScore W2122373062C33923547 @default.
- W2122373062 hasConceptScore W2122373062C41008148 @default.
- W2122373062 hasConceptScore W2122373062C61797465 @default.
- W2122373062 hasConceptScore W2122373062C62520636 @default.
- W2122373062 hasConceptScore W2122373062C78023250 @default.
- W2122373062 hasLocation W21223730621 @default.
- W2122373062 hasOpenAccess W2122373062 @default.
- W2122373062 hasPrimaryLocation W21223730621 @default.
- W2122373062 hasRelatedWork W1515515243 @default.
- W2122373062 hasRelatedWork W1594568141 @default.
- W2122373062 hasRelatedWork W2109420517 @default.
- W2122373062 hasRelatedWork W2142543897 @default.
- W2122373062 hasRelatedWork W2156964945 @default.
- W2122373062 hasRelatedWork W2312503573 @default.
- W2122373062 hasRelatedWork W2517733820 @default.
- W2122373062 hasRelatedWork W2566257015 @default.
- W2122373062 hasRelatedWork W2963444893 @default.
- W2122373062 hasRelatedWork W2475418661 @default.
- W2122373062 isParatext "false" @default.
- W2122373062 isRetracted "false" @default.
- W2122373062 magId "2122373062" @default.
- W2122373062 workType "article" @default.