Matches in SemOpenAlex for { <https://semopenalex.org/work/W1726757030> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1726757030 endingPage "675" @default.
- W1726757030 startingPage "664" @default.
- W1726757030 abstract "The word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse monoid generated by Γ, is investigated. It is shown that for every fixed monoid of this form the word problem can be solved in polynomial time which solves an open problem of Margolis and Meakin. For the uniform word problem, where the presentation is part of the input, EXPTIME-completeness is shown. For the Cayley-graphs of these monoids, it is shown that the first-order theory with regular path predicates is decidable. Regular path predicates allow to state that there is a path from a node x to a node y that is labeled with a word from some regular language. As a corollary, the decidability of the generalized word problem is deduced. Finally, it is shown that the Cayley-graph of the free inverse monoid has an undecidable monadic second-order theory." @default.
- W1726757030 created "2016-06-24" @default.
- W1726757030 creator A5005500210 @default.
- W1726757030 creator A5036280423 @default.
- W1726757030 date "2005-01-01" @default.
- W1726757030 modified "2023-10-18" @default.
- W1726757030 title "Inverse Monoids: Decidability and Complexity of Algebraic Questions" @default.
- W1726757030 cites W1563892973 @default.
- W1726757030 cites W1809956864 @default.
- W1726757030 cites W1971416129 @default.
- W1726757030 cites W1976522318 @default.
- W1726757030 cites W1990939813 @default.
- W1726757030 cites W1993901943 @default.
- W1726757030 cites W2003865102 @default.
- W1726757030 cites W2009964224 @default.
- W1726757030 cites W2020079677 @default.
- W1726757030 cites W2101716083 @default.
- W1726757030 cites W2166298771 @default.
- W1726757030 cites W2477589106 @default.
- W1726757030 cites W3022006420 @default.
- W1726757030 cites W4235290936 @default.
- W1726757030 cites W4241108585 @default.
- W1726757030 doi "https://doi.org/10.1007/11549345_57" @default.
- W1726757030 hasPublicationYear "2005" @default.
- W1726757030 type Work @default.
- W1726757030 sameAs 1726757030 @default.
- W1726757030 citedByCount "3" @default.
- W1726757030 crossrefType "book-chapter" @default.
- W1726757030 hasAuthorship W1726757030A5005500210 @default.
- W1726757030 hasAuthorship W1726757030A5036280423 @default.
- W1726757030 hasBestOaLocation W17267570302 @default.
- W1726757030 hasConcept C112505250 @default.
- W1726757030 hasConcept C114614502 @default.
- W1726757030 hasConcept C118615104 @default.
- W1726757030 hasConcept C134306372 @default.
- W1726757030 hasConcept C149685015 @default.
- W1726757030 hasConcept C153269930 @default.
- W1726757030 hasConcept C154945302 @default.
- W1726757030 hasConcept C192034797 @default.
- W1726757030 hasConcept C199360897 @default.
- W1726757030 hasConcept C206901836 @default.
- W1726757030 hasConcept C207405024 @default.
- W1726757030 hasConcept C207467116 @default.
- W1726757030 hasConcept C2524010 @default.
- W1726757030 hasConcept C2777735758 @default.
- W1726757030 hasConcept C2778508345 @default.
- W1726757030 hasConcept C33923547 @default.
- W1726757030 hasConcept C41008148 @default.
- W1726757030 hasConcept C52370388 @default.
- W1726757030 hasConcept C90805587 @default.
- W1726757030 hasConcept C90988201 @default.
- W1726757030 hasConcept C9376300 @default.
- W1726757030 hasConcept C94375191 @default.
- W1726757030 hasConceptScore W1726757030C112505250 @default.
- W1726757030 hasConceptScore W1726757030C114614502 @default.
- W1726757030 hasConceptScore W1726757030C118615104 @default.
- W1726757030 hasConceptScore W1726757030C134306372 @default.
- W1726757030 hasConceptScore W1726757030C149685015 @default.
- W1726757030 hasConceptScore W1726757030C153269930 @default.
- W1726757030 hasConceptScore W1726757030C154945302 @default.
- W1726757030 hasConceptScore W1726757030C192034797 @default.
- W1726757030 hasConceptScore W1726757030C199360897 @default.
- W1726757030 hasConceptScore W1726757030C206901836 @default.
- W1726757030 hasConceptScore W1726757030C207405024 @default.
- W1726757030 hasConceptScore W1726757030C207467116 @default.
- W1726757030 hasConceptScore W1726757030C2524010 @default.
- W1726757030 hasConceptScore W1726757030C2777735758 @default.
- W1726757030 hasConceptScore W1726757030C2778508345 @default.
- W1726757030 hasConceptScore W1726757030C33923547 @default.
- W1726757030 hasConceptScore W1726757030C41008148 @default.
- W1726757030 hasConceptScore W1726757030C52370388 @default.
- W1726757030 hasConceptScore W1726757030C90805587 @default.
- W1726757030 hasConceptScore W1726757030C90988201 @default.
- W1726757030 hasConceptScore W1726757030C9376300 @default.
- W1726757030 hasConceptScore W1726757030C94375191 @default.
- W1726757030 hasLocation W17267570301 @default.
- W1726757030 hasLocation W17267570302 @default.
- W1726757030 hasOpenAccess W1726757030 @default.
- W1726757030 hasPrimaryLocation W17267570301 @default.
- W1726757030 hasRelatedWork W1483517123 @default.
- W1726757030 hasRelatedWork W1492906489 @default.
- W1726757030 hasRelatedWork W1494870752 @default.
- W1726757030 hasRelatedWork W1565873802 @default.
- W1726757030 hasRelatedWork W1726757030 @default.
- W1726757030 hasRelatedWork W1995325549 @default.
- W1726757030 hasRelatedWork W2035534882 @default.
- W1726757030 hasRelatedWork W2069884999 @default.
- W1726757030 hasRelatedWork W2988967397 @default.
- W1726757030 hasRelatedWork W2519265598 @default.
- W1726757030 isParatext "false" @default.
- W1726757030 isRetracted "false" @default.
- W1726757030 magId "1726757030" @default.
- W1726757030 workType "book-chapter" @default.