Matches in SemOpenAlex for { <https://semopenalex.org/work/W2027868924> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2027868924 endingPage "174" @default.
- W2027868924 startingPage "165" @default.
- W2027868924 abstract "Since the word problem for Thue systems was proved to be undecidable by Post and Markov in the 1940's. there has been some interest in developing conditions under which the word problem is decidable. At present it is possible to decide whether a finite Thue system is almost-confluent or Church-Rosser, but testing for preperfectness has been an open problem for years. Here we prove this to be undecidable." @default.
- W2027868924 created "2016-06-24" @default.
- W2027868924 creator A5004829018 @default.
- W2027868924 creator A5083889587 @default.
- W2027868924 date "1984-01-01" @default.
- W2027868924 modified "2023-09-24" @default.
- W2027868924 title "The undecidability of the preperfectness of thue systems" @default.
- W2027868924 cites W1557178856 @default.
- W2027868924 cites W2002089154 @default.
- W2027868924 cites W2042926635 @default.
- W2027868924 cites W2062170505 @default.
- W2027868924 cites W2071219059 @default.
- W2027868924 doi "https://doi.org/10.1016/0304-3975(84)90133-6" @default.
- W2027868924 hasPublicationYear "1984" @default.
- W2027868924 type Work @default.
- W2027868924 sameAs 2027868924 @default.
- W2027868924 citedByCount "13" @default.
- W2027868924 crossrefType "journal-article" @default.
- W2027868924 hasAuthorship W2027868924A5004829018 @default.
- W2027868924 hasAuthorship W2027868924A5083889587 @default.
- W2027868924 hasConcept C114614502 @default.
- W2027868924 hasConcept C118615104 @default.
- W2027868924 hasConcept C153269930 @default.
- W2027868924 hasConcept C192034797 @default.
- W2027868924 hasConcept C2524010 @default.
- W2027868924 hasConcept C33923547 @default.
- W2027868924 hasConcept C90805587 @default.
- W2027868924 hasConcept C90988201 @default.
- W2027868924 hasConcept C94375191 @default.
- W2027868924 hasConceptScore W2027868924C114614502 @default.
- W2027868924 hasConceptScore W2027868924C118615104 @default.
- W2027868924 hasConceptScore W2027868924C153269930 @default.
- W2027868924 hasConceptScore W2027868924C192034797 @default.
- W2027868924 hasConceptScore W2027868924C2524010 @default.
- W2027868924 hasConceptScore W2027868924C33923547 @default.
- W2027868924 hasConceptScore W2027868924C90805587 @default.
- W2027868924 hasConceptScore W2027868924C90988201 @default.
- W2027868924 hasConceptScore W2027868924C94375191 @default.
- W2027868924 hasIssue "1-2" @default.
- W2027868924 hasLocation W20278689241 @default.
- W2027868924 hasOpenAccess W2027868924 @default.
- W2027868924 hasPrimaryLocation W20278689241 @default.
- W2027868924 hasRelatedWork W1429624396 @default.
- W2027868924 hasRelatedWork W1492906489 @default.
- W2027868924 hasRelatedWork W1544871822 @default.
- W2027868924 hasRelatedWork W1693995122 @default.
- W2027868924 hasRelatedWork W2079849556 @default.
- W2027868924 hasRelatedWork W2158086683 @default.
- W2027868924 hasRelatedWork W2282186771 @default.
- W2027868924 hasRelatedWork W2570611167 @default.
- W2027868924 hasRelatedWork W3126116132 @default.
- W2027868924 hasRelatedWork W4299514941 @default.
- W2027868924 hasVolume "31" @default.
- W2027868924 isParatext "false" @default.
- W2027868924 isRetracted "false" @default.
- W2027868924 magId "2027868924" @default.
- W2027868924 workType "article" @default.