Matches in SemOpenAlex for { <https://semopenalex.org/work/W2142033912> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2142033912 abstract "In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple decidability proofs for a hierarchy of classes of rewrite systems that are much larger than earlier classes defined using the complicated sequentiality concept. In this paper we study the modularity of membership in the new hierarchy. Surprisingly, it turns out that none of the classes in the hierarchy is preserved under signature extension. By imposing various conditions we recover the preservation under signature extension. By imposing some more conditions we are able to strengthen the signature extension results to modularity for disjoint and constructor-sharing combinations." @default.
- W2142033912 created "2016-06-24" @default.
- W2142033912 creator A5011644256 @default.
- W2142033912 creator A5049118633 @default.
- W2142033912 date "2001-01-01" @default.
- W2142033912 modified "2023-10-07" @default.
- W2142033912 title "On the Modularity of Deciding Call-by-Need" @default.
- W2142033912 cites W1497581330 @default.
- W2142033912 cites W1513451410 @default.
- W2142033912 cites W1551719154 @default.
- W2142033912 cites W1583295953 @default.
- W2142033912 cites W1585460393 @default.
- W2142033912 cites W1782998868 @default.
- W2142033912 cites W1988319950 @default.
- W2142033912 cites W2011805144 @default.
- W2142033912 cites W2045435392 @default.
- W2142033912 cites W2076609932 @default.
- W2142033912 cites W20773390 @default.
- W2142033912 cites W2086747974 @default.
- W2142033912 cites W2108414354 @default.
- W2142033912 cites W2126018011 @default.
- W2142033912 cites W2157756891 @default.
- W2142033912 cites W2158205039 @default.
- W2142033912 cites W2175539205 @default.
- W2142033912 cites W2912818154 @default.
- W2142033912 hasPublicationYear "2001" @default.
- W2142033912 type Work @default.
- W2142033912 sameAs 2142033912 @default.
- W2142033912 citedByCount "3" @default.
- W2142033912 crossrefType "proceedings-article" @default.
- W2142033912 hasAuthorship W2142033912A5011644256 @default.
- W2142033912 hasAuthorship W2142033912A5049118633 @default.
- W2142033912 hasConcept C199360897 @default.
- W2142033912 hasConcept C2779478453 @default.
- W2142033912 hasConcept C41008148 @default.
- W2142033912 hasConcept C54355233 @default.
- W2142033912 hasConcept C86803240 @default.
- W2142033912 hasConceptScore W2142033912C199360897 @default.
- W2142033912 hasConceptScore W2142033912C2779478453 @default.
- W2142033912 hasConceptScore W2142033912C41008148 @default.
- W2142033912 hasConceptScore W2142033912C54355233 @default.
- W2142033912 hasConceptScore W2142033912C86803240 @default.
- W2142033912 hasLocation W21420339121 @default.
- W2142033912 hasLocation W21420339122 @default.
- W2142033912 hasOpenAccess W2142033912 @default.
- W2142033912 hasPrimaryLocation W21420339121 @default.
- W2142033912 hasRelatedWork W1943342825 @default.
- W2142033912 hasRelatedWork W1968829728 @default.
- W2142033912 hasRelatedWork W2051365847 @default.
- W2142033912 hasRelatedWork W2349859869 @default.
- W2142033912 hasRelatedWork W2367249529 @default.
- W2142033912 hasRelatedWork W2748952813 @default.
- W2142033912 hasRelatedWork W2899084033 @default.
- W2142033912 hasRelatedWork W3120118008 @default.
- W2142033912 hasRelatedWork W4214765864 @default.
- W2142033912 hasRelatedWork W4230687177 @default.
- W2142033912 isParatext "false" @default.
- W2142033912 isRetracted "false" @default.
- W2142033912 magId "2142033912" @default.
- W2142033912 workType "article" @default.