Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040777670> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2040777670 endingPage "401" @default.
- W2040777670 startingPage "395" @default.
- W2040777670 abstract "The undecidability of the termination of rewrite systems is usually proved by reduction to the halting of Turing machines. In particular, Dauchet proves the undecidability of the termination of one rule rewrite systems by coding Turing machines into one rule rewrite systems. Rewrite systems are a very simple model of computation and one may expect proofs in this model to be more straightforward than those referring to the more complex model of Turing machines. In this paper we deduce the problem of termination of one rule rewrite systems to problems somewhat more related to rewrite systems namely to Post correspondence problems and to termination of semi-Thue systems. Proofs we obtain this way are shorter and we expect other interesting applications from these codings. In particular, the second part proposes a simulation of semi-Thue systems by one rule systems." @default.
- W2040777670 created "2016-06-24" @default.
- W2040777670 creator A5042417161 @default.
- W2040777670 date "1994-09-01" @default.
- W2040777670 modified "2023-09-30" @default.
- W2040777670 title "On termination of one rule rewrite systems" @default.
- W2040777670 cites W1594629328 @default.
- W2040777670 cites W1605312248 @default.
- W2040777670 cites W196782186 @default.
- W2040777670 cites W2002089154 @default.
- W2040777670 cites W2004459113 @default.
- W2040777670 cites W2024726864 @default.
- W2040777670 cites W2037364924 @default.
- W2040777670 cites W2331953749 @default.
- W2040777670 doi "https://doi.org/10.1016/0304-3975(94)00029-8" @default.
- W2040777670 hasPublicationYear "1994" @default.
- W2040777670 type Work @default.
- W2040777670 sameAs 2040777670 @default.
- W2040777670 citedByCount "14" @default.
- W2040777670 crossrefType "journal-article" @default.
- W2040777670 hasAuthorship W2040777670A5042417161 @default.
- W2040777670 hasBestOaLocation W20407776701 @default.
- W2040777670 hasConcept C108710211 @default.
- W2040777670 hasConcept C111472728 @default.
- W2040777670 hasConcept C11413529 @default.
- W2040777670 hasConcept C118615104 @default.
- W2040777670 hasConcept C137343475 @default.
- W2040777670 hasConcept C138885662 @default.
- W2040777670 hasConcept C199360897 @default.
- W2040777670 hasConcept C2524010 @default.
- W2040777670 hasConcept C2780586882 @default.
- W2040777670 hasConcept C29248071 @default.
- W2040777670 hasConcept C31314021 @default.
- W2040777670 hasConcept C33923547 @default.
- W2040777670 hasConcept C41008148 @default.
- W2040777670 hasConcept C45374587 @default.
- W2040777670 hasConcept C80444323 @default.
- W2040777670 hasConcept C9870796 @default.
- W2040777670 hasConceptScore W2040777670C108710211 @default.
- W2040777670 hasConceptScore W2040777670C111472728 @default.
- W2040777670 hasConceptScore W2040777670C11413529 @default.
- W2040777670 hasConceptScore W2040777670C118615104 @default.
- W2040777670 hasConceptScore W2040777670C137343475 @default.
- W2040777670 hasConceptScore W2040777670C138885662 @default.
- W2040777670 hasConceptScore W2040777670C199360897 @default.
- W2040777670 hasConceptScore W2040777670C2524010 @default.
- W2040777670 hasConceptScore W2040777670C2780586882 @default.
- W2040777670 hasConceptScore W2040777670C29248071 @default.
- W2040777670 hasConceptScore W2040777670C31314021 @default.
- W2040777670 hasConceptScore W2040777670C33923547 @default.
- W2040777670 hasConceptScore W2040777670C41008148 @default.
- W2040777670 hasConceptScore W2040777670C45374587 @default.
- W2040777670 hasConceptScore W2040777670C80444323 @default.
- W2040777670 hasConceptScore W2040777670C9870796 @default.
- W2040777670 hasIssue "1-2" @default.
- W2040777670 hasLocation W20407776701 @default.
- W2040777670 hasOpenAccess W2040777670 @default.
- W2040777670 hasPrimaryLocation W20407776701 @default.
- W2040777670 hasRelatedWork W1485707736 @default.
- W2040777670 hasRelatedWork W1579023793 @default.
- W2040777670 hasRelatedWork W1999721188 @default.
- W2040777670 hasRelatedWork W2040777670 @default.
- W2040777670 hasRelatedWork W2090627896 @default.
- W2040777670 hasRelatedWork W2095832552 @default.
- W2040777670 hasRelatedWork W2111129500 @default.
- W2040777670 hasRelatedWork W2133856250 @default.
- W2040777670 hasRelatedWork W2894216532 @default.
- W2040777670 hasRelatedWork W4206656328 @default.
- W2040777670 hasVolume "132" @default.
- W2040777670 isParatext "false" @default.
- W2040777670 isRetracted "false" @default.
- W2040777670 magId "2040777670" @default.
- W2040777670 workType "article" @default.