Matches in SemOpenAlex for { <https://semopenalex.org/work/W2069884999> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2069884999 endingPage "63" @default.
- W2069884999 startingPage "55" @default.
- W2069884999 abstract "We give an O(|A| 2 ×|T|) algorithm that on the input of a regular Church-Rosser Thue system T on alphabet A decides whether or not the monoid M T presented by T is a group, where |;A| is the cardinality of A, and |T| is the size of the Thue system T . In addition, a problem is presented that is decidable for regular monadic Church-Rosser Thue systems, but that is undecidable for finite non-monadic Church-Rosser Thue systems." @default.
- W2069884999 created "2016-06-24" @default.
- W2069884999 creator A5027525329 @default.
- W2069884999 date "1989-08-01" @default.
- W2069884999 modified "2023-09-27" @default.
- W2069884999 title "An efficient algorithm to decide whether a monoid presented by a regular church-rosser thue system is a group" @default.
- W2069884999 cites W1504521618 @default.
- W2069884999 cites W1523977407 @default.
- W2069884999 cites W1988565881 @default.
- W2069884999 cites W1994922201 @default.
- W2069884999 cites W1998439085 @default.
- W2069884999 cites W2002089154 @default.
- W2069884999 cites W2008921773 @default.
- W2069884999 cites W2018146336 @default.
- W2069884999 cites W2023860477 @default.
- W2069884999 cites W2034188445 @default.
- W2069884999 cites W2042926635 @default.
- W2069884999 cites W2058954424 @default.
- W2069884999 cites W2062170505 @default.
- W2069884999 cites W2080507474 @default.
- W2069884999 cites W2090238248 @default.
- W2069884999 cites W3150369495 @default.
- W2069884999 doi "https://doi.org/10.1016/0304-3975(89)90145-x" @default.
- W2069884999 hasPublicationYear "1989" @default.
- W2069884999 type Work @default.
- W2069884999 sameAs 2069884999 @default.
- W2069884999 citedByCount "1" @default.
- W2069884999 crossrefType "journal-article" @default.
- W2069884999 hasAuthorship W2069884999A5027525329 @default.
- W2069884999 hasConcept C112505250 @default.
- W2069884999 hasConcept C112876837 @default.
- W2069884999 hasConcept C11413529 @default.
- W2069884999 hasConcept C114614502 @default.
- W2069884999 hasConcept C118615104 @default.
- W2069884999 hasConcept C119903167 @default.
- W2069884999 hasConcept C124101348 @default.
- W2069884999 hasConcept C138885662 @default.
- W2069884999 hasConcept C149685015 @default.
- W2069884999 hasConcept C153269930 @default.
- W2069884999 hasConcept C178790620 @default.
- W2069884999 hasConcept C185592680 @default.
- W2069884999 hasConcept C192034797 @default.
- W2069884999 hasConcept C206901836 @default.
- W2069884999 hasConcept C2781311116 @default.
- W2069884999 hasConcept C33923547 @default.
- W2069884999 hasConcept C41008148 @default.
- W2069884999 hasConcept C41895202 @default.
- W2069884999 hasConcept C52370388 @default.
- W2069884999 hasConcept C80444323 @default.
- W2069884999 hasConcept C87117476 @default.
- W2069884999 hasConcept C90988201 @default.
- W2069884999 hasConcept C94375191 @default.
- W2069884999 hasConceptScore W2069884999C112505250 @default.
- W2069884999 hasConceptScore W2069884999C112876837 @default.
- W2069884999 hasConceptScore W2069884999C11413529 @default.
- W2069884999 hasConceptScore W2069884999C114614502 @default.
- W2069884999 hasConceptScore W2069884999C118615104 @default.
- W2069884999 hasConceptScore W2069884999C119903167 @default.
- W2069884999 hasConceptScore W2069884999C124101348 @default.
- W2069884999 hasConceptScore W2069884999C138885662 @default.
- W2069884999 hasConceptScore W2069884999C149685015 @default.
- W2069884999 hasConceptScore W2069884999C153269930 @default.
- W2069884999 hasConceptScore W2069884999C178790620 @default.
- W2069884999 hasConceptScore W2069884999C185592680 @default.
- W2069884999 hasConceptScore W2069884999C192034797 @default.
- W2069884999 hasConceptScore W2069884999C206901836 @default.
- W2069884999 hasConceptScore W2069884999C2781311116 @default.
- W2069884999 hasConceptScore W2069884999C33923547 @default.
- W2069884999 hasConceptScore W2069884999C41008148 @default.
- W2069884999 hasConceptScore W2069884999C41895202 @default.
- W2069884999 hasConceptScore W2069884999C52370388 @default.
- W2069884999 hasConceptScore W2069884999C80444323 @default.
- W2069884999 hasConceptScore W2069884999C87117476 @default.
- W2069884999 hasConceptScore W2069884999C90988201 @default.
- W2069884999 hasConceptScore W2069884999C94375191 @default.
- W2069884999 hasIssue "1" @default.
- W2069884999 hasLocation W20698849991 @default.
- W2069884999 hasOpenAccess W2069884999 @default.
- W2069884999 hasPrimaryLocation W20698849991 @default.
- W2069884999 hasRelatedWork W1492906489 @default.
- W2069884999 hasRelatedWork W1494870752 @default.
- W2069884999 hasRelatedWork W1511851241 @default.
- W2069884999 hasRelatedWork W174143902 @default.
- W2069884999 hasRelatedWork W2069884999 @default.
- W2069884999 hasRelatedWork W2079333248 @default.
- W2069884999 hasRelatedWork W2090238248 @default.
- W2069884999 hasRelatedWork W2106919714 @default.
- W2069884999 hasRelatedWork W2570611167 @default.
- W2069884999 hasRelatedWork W2465207406 @default.
- W2069884999 hasVolume "66" @default.
- W2069884999 isParatext "false" @default.
- W2069884999 isRetracted "false" @default.
- W2069884999 magId "2069884999" @default.
- W2069884999 workType "article" @default.