Matches in SemOpenAlex for { <https://semopenalex.org/work/W354575360> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W354575360 abstract "Length-two string rewriting systems are length-preserving string rewriting systems that consist of length-two rules. This paper shows that confluence, termination, left-most termination and right-most termination are undecidable properties for length-two string rewriting systems. These results mean that these properties are undecidable for the class of linear term rewriting systems in which depth-two variables are allowed in both sides of rules." @default.
- W354575360 created "2016-06-24" @default.
- W354575360 creator A5054861254 @default.
- W354575360 creator A5091654591 @default.
- W354575360 date "2007-06-01" @default.
- W354575360 modified "2023-10-03" @default.
- W354575360 title "Undecidable Properties on Length-Two String Rewriting Systems" @default.
- W354575360 hasPublicationYear "2007" @default.
- W354575360 type Work @default.
- W354575360 sameAs 354575360 @default.
- W354575360 citedByCount "0" @default.
- W354575360 crossrefType "journal-article" @default.
- W354575360 hasAuthorship W354575360A5054861254 @default.
- W354575360 hasAuthorship W354575360A5091654591 @default.
- W354575360 hasConcept C114614502 @default.
- W354575360 hasConcept C118615104 @default.
- W354575360 hasConcept C121332964 @default.
- W354575360 hasConcept C153269930 @default.
- W354575360 hasConcept C154690210 @default.
- W354575360 hasConcept C154945302 @default.
- W354575360 hasConcept C157486923 @default.
- W354575360 hasConcept C192034797 @default.
- W354575360 hasConcept C199360897 @default.
- W354575360 hasConcept C2777212361 @default.
- W354575360 hasConcept C33923547 @default.
- W354575360 hasConcept C37914503 @default.
- W354575360 hasConcept C41008148 @default.
- W354575360 hasConcept C61797465 @default.
- W354575360 hasConcept C62520636 @default.
- W354575360 hasConcept C77906462 @default.
- W354575360 hasConceptScore W354575360C114614502 @default.
- W354575360 hasConceptScore W354575360C118615104 @default.
- W354575360 hasConceptScore W354575360C121332964 @default.
- W354575360 hasConceptScore W354575360C153269930 @default.
- W354575360 hasConceptScore W354575360C154690210 @default.
- W354575360 hasConceptScore W354575360C154945302 @default.
- W354575360 hasConceptScore W354575360C157486923 @default.
- W354575360 hasConceptScore W354575360C192034797 @default.
- W354575360 hasConceptScore W354575360C199360897 @default.
- W354575360 hasConceptScore W354575360C2777212361 @default.
- W354575360 hasConceptScore W354575360C33923547 @default.
- W354575360 hasConceptScore W354575360C37914503 @default.
- W354575360 hasConceptScore W354575360C41008148 @default.
- W354575360 hasConceptScore W354575360C61797465 @default.
- W354575360 hasConceptScore W354575360C62520636 @default.
- W354575360 hasConceptScore W354575360C77906462 @default.
- W354575360 hasLocation W3545753601 @default.
- W354575360 hasOpenAccess W354575360 @default.
- W354575360 hasPrimaryLocation W3545753601 @default.
- W354575360 hasRelatedWork W1499373271 @default.
- W354575360 hasRelatedWork W1499505013 @default.
- W354575360 hasRelatedWork W1512579902 @default.
- W354575360 hasRelatedWork W1512890622 @default.
- W354575360 hasRelatedWork W1548618164 @default.
- W354575360 hasRelatedWork W1556943271 @default.
- W354575360 hasRelatedWork W16617677 @default.
- W354575360 hasRelatedWork W1736252565 @default.
- W354575360 hasRelatedWork W1883753052 @default.
- W354575360 hasRelatedWork W1985537797 @default.
- W354575360 hasRelatedWork W2057232839 @default.
- W354575360 hasRelatedWork W2083675736 @default.
- W354575360 hasRelatedWork W2107851833 @default.
- W354575360 hasRelatedWork W2119045600 @default.
- W354575360 hasRelatedWork W2128802602 @default.
- W354575360 hasRelatedWork W2316213087 @default.
- W354575360 hasRelatedWork W2474840350 @default.
- W354575360 hasRelatedWork W3022248317 @default.
- W354575360 hasRelatedWork W90089155 @default.
- W354575360 hasRelatedWork W2584301627 @default.
- W354575360 isParatext "false" @default.
- W354575360 isRetracted "false" @default.
- W354575360 magId "354575360" @default.
- W354575360 workType "article" @default.