Matches in SemOpenAlex for { <https://semopenalex.org/work/W1972682040> ?p ?o ?g. }
- W1972682040 endingPage "226" @default.
- W1972682040 startingPage "196" @default.
- W1972682040 abstract "Free partially commutative inverse monoids are investigated. As in the case of free partially commutative monoids or groups (trace monoids or graph groups), free partially commutative inverse monoids are defined as quotients of free inverse monoids modulo a partially defined commutation relation on the generators. A quasi linear time algorithm for the word problem is presented. More precisely, we give an $mathcal {O}(nlog(n))$ algorithm for a RAM. $mathsf {NP}$ -completeness of the submonoid membership problem (also known as the generalized word problem) and the membership problem for rational sets is shown. Moreover, free partially commutative inverse monoids modulo a finite idempotent presentation are studied. It turns out that the word problem is decidable if and only if the complement of the partial commutation relation is transitive." @default.
- W1972682040 created "2016-06-24" @default.
- W1972682040 creator A5005500210 @default.
- W1972682040 creator A5017559472 @default.
- W1972682040 creator A5054093863 @default.
- W1972682040 date "2008-04-08" @default.
- W1972682040 modified "2023-10-16" @default.
- W1972682040 title "Partially commutative inverse monoids" @default.
- W1972682040 cites W1526817709 @default.
- W1972682040 cites W1605354378 @default.
- W1972682040 cites W1748927325 @default.
- W1972682040 cites W1809956864 @default.
- W1972682040 cites W1844644571 @default.
- W1972682040 cites W1971416129 @default.
- W1972682040 cites W1989788631 @default.
- W1972682040 cites W1996760951 @default.
- W1972682040 cites W2009571139 @default.
- W1972682040 cites W2022598306 @default.
- W1972682040 cites W2027103910 @default.
- W1972682040 cites W2032938926 @default.
- W1972682040 cites W2053668328 @default.
- W1972682040 cites W2056824334 @default.
- W1972682040 cites W2062170505 @default.
- W1972682040 cites W2070740841 @default.
- W1972682040 cites W2074599978 @default.
- W1972682040 cites W2079300096 @default.
- W1972682040 cites W2094424432 @default.
- W1972682040 cites W2101716083 @default.
- W1972682040 cites W2111380805 @default.
- W1972682040 cites W2119630998 @default.
- W1972682040 cites W2161913867 @default.
- W1972682040 cites W2164003033 @default.
- W1972682040 cites W2337480916 @default.
- W1972682040 cites W2477589106 @default.
- W1972682040 cites W3022006420 @default.
- W1972682040 cites W4230653380 @default.
- W1972682040 cites W4235290936 @default.
- W1972682040 cites W4240244556 @default.
- W1972682040 cites W4249538237 @default.
- W1972682040 doi "https://doi.org/10.1007/s00233-008-9060-x" @default.
- W1972682040 hasPublicationYear "2008" @default.
- W1972682040 type Work @default.
- W1972682040 sameAs 1972682040 @default.
- W1972682040 citedByCount "7" @default.
- W1972682040 countsByYear W19726820402012 @default.
- W1972682040 countsByYear W19726820402015 @default.
- W1972682040 countsByYear W19726820402021 @default.
- W1972682040 countsByYear W19726820402023 @default.
- W1972682040 crossrefType "journal-article" @default.
- W1972682040 hasAuthorship W1972682040A5005500210 @default.
- W1972682040 hasAuthorship W1972682040A5017559472 @default.
- W1972682040 hasAuthorship W1972682040A5054093863 @default.
- W1972682040 hasBestOaLocation W19726820402 @default.
- W1972682040 hasConcept C104317684 @default.
- W1972682040 hasConcept C112313634 @default.
- W1972682040 hasConcept C114614502 @default.
- W1972682040 hasConcept C118615104 @default.
- W1972682040 hasConcept C127716648 @default.
- W1972682040 hasConcept C136119220 @default.
- W1972682040 hasConcept C153269930 @default.
- W1972682040 hasConcept C172252984 @default.
- W1972682040 hasConcept C183778304 @default.
- W1972682040 hasConcept C185592680 @default.
- W1972682040 hasConcept C188082640 @default.
- W1972682040 hasConcept C199422724 @default.
- W1972682040 hasConcept C202444582 @default.
- W1972682040 hasConcept C206901836 @default.
- W1972682040 hasConcept C207467116 @default.
- W1972682040 hasConcept C2524010 @default.
- W1972682040 hasConcept C2778508345 @default.
- W1972682040 hasConcept C33923547 @default.
- W1972682040 hasConcept C54732982 @default.
- W1972682040 hasConcept C55493867 @default.
- W1972682040 hasConcept C90805587 @default.
- W1972682040 hasConcept C90988201 @default.
- W1972682040 hasConcept C94375191 @default.
- W1972682040 hasConceptScore W1972682040C104317684 @default.
- W1972682040 hasConceptScore W1972682040C112313634 @default.
- W1972682040 hasConceptScore W1972682040C114614502 @default.
- W1972682040 hasConceptScore W1972682040C118615104 @default.
- W1972682040 hasConceptScore W1972682040C127716648 @default.
- W1972682040 hasConceptScore W1972682040C136119220 @default.
- W1972682040 hasConceptScore W1972682040C153269930 @default.
- W1972682040 hasConceptScore W1972682040C172252984 @default.
- W1972682040 hasConceptScore W1972682040C183778304 @default.
- W1972682040 hasConceptScore W1972682040C185592680 @default.
- W1972682040 hasConceptScore W1972682040C188082640 @default.
- W1972682040 hasConceptScore W1972682040C199422724 @default.
- W1972682040 hasConceptScore W1972682040C202444582 @default.
- W1972682040 hasConceptScore W1972682040C206901836 @default.
- W1972682040 hasConceptScore W1972682040C207467116 @default.
- W1972682040 hasConceptScore W1972682040C2524010 @default.
- W1972682040 hasConceptScore W1972682040C2778508345 @default.
- W1972682040 hasConceptScore W1972682040C33923547 @default.
- W1972682040 hasConceptScore W1972682040C54732982 @default.
- W1972682040 hasConceptScore W1972682040C55493867 @default.
- W1972682040 hasConceptScore W1972682040C90805587 @default.
- W1972682040 hasConceptScore W1972682040C90988201 @default.