Matches in SemOpenAlex for { <https://semopenalex.org/work/W2036844537> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2036844537 endingPage "124" @default.
- W2036844537 startingPage "98" @default.
- W2036844537 abstract "In this paper, we present decision procedures for the coverability, the subword, the containment, and the equivalence problems for commutative semigroups. These procedures require at most space 2 c · n , where n is the size of the problem instance, and c is some problem independent constant. Furthermore, we show that the exponential space hardness of the above problems follows from the work of Mayr and Meyer. Thus, the presented algorithms are space optimal. Our results close the gap between the 2 c ′· n ·log n space upper bound, shown by Rackoff for the coverability problem and shown by Huynh for the containment and the equivalence problems, and the exponential space lower bound resulting from the corresponding bound for the uniform word problem established by Mayr and Meyer." @default.
- W2036844537 created "2016-06-24" @default.
- W2036844537 creator A5032388168 @default.
- W2036844537 creator A5086784701 @default.
- W2036844537 date "2000-05-01" @default.
- W2036844537 modified "2023-09-27" @default.
- W2036844537 title "Optimal Algorithms for the Coverability, the Subword, the Containment, and the Equivalence Problems for Commutative Semigroups" @default.
- W2036844537 cites W1547562281 @default.
- W2036844537 cites W1970398023 @default.
- W2036844537 cites W1971435636 @default.
- W2036844537 cites W1975261774 @default.
- W2036844537 cites W2011495892 @default.
- W2036844537 cites W2011708147 @default.
- W2036844537 cites W2013504313 @default.
- W2036844537 cites W2016675834 @default.
- W2036844537 cites W2017483928 @default.
- W2036844537 cites W2020759317 @default.
- W2036844537 cites W2026973318 @default.
- W2036844537 cites W2046224834 @default.
- W2036844537 cites W2054667934 @default.
- W2036844537 cites W2055081868 @default.
- W2036844537 cites W2134009244 @default.
- W2036844537 cites W2316437449 @default.
- W2036844537 cites W27930116 @default.
- W2036844537 cites W3140292214 @default.
- W2036844537 cites W614968053 @default.
- W2036844537 doi "https://doi.org/10.1006/inco.1999.2812" @default.
- W2036844537 hasPublicationYear "2000" @default.
- W2036844537 type Work @default.
- W2036844537 sameAs 2036844537 @default.
- W2036844537 citedByCount "1" @default.
- W2036844537 countsByYear W20368445372017 @default.
- W2036844537 crossrefType "journal-article" @default.
- W2036844537 hasAuthorship W2036844537A5032388168 @default.
- W2036844537 hasAuthorship W2036844537A5086784701 @default.
- W2036844537 hasBestOaLocation W20368445371 @default.
- W2036844537 hasConcept C111919701 @default.
- W2036844537 hasConcept C114614502 @default.
- W2036844537 hasConcept C118615104 @default.
- W2036844537 hasConcept C134306372 @default.
- W2036844537 hasConcept C151376022 @default.
- W2036844537 hasConcept C183778304 @default.
- W2036844537 hasConcept C199360897 @default.
- W2036844537 hasConcept C202444582 @default.
- W2036844537 hasConcept C2777019822 @default.
- W2036844537 hasConcept C2778572836 @default.
- W2036844537 hasConcept C2780069185 @default.
- W2036844537 hasConcept C33923547 @default.
- W2036844537 hasConcept C41008148 @default.
- W2036844537 hasConcept C77553402 @default.
- W2036844537 hasConceptScore W2036844537C111919701 @default.
- W2036844537 hasConceptScore W2036844537C114614502 @default.
- W2036844537 hasConceptScore W2036844537C118615104 @default.
- W2036844537 hasConceptScore W2036844537C134306372 @default.
- W2036844537 hasConceptScore W2036844537C151376022 @default.
- W2036844537 hasConceptScore W2036844537C183778304 @default.
- W2036844537 hasConceptScore W2036844537C199360897 @default.
- W2036844537 hasConceptScore W2036844537C202444582 @default.
- W2036844537 hasConceptScore W2036844537C2777019822 @default.
- W2036844537 hasConceptScore W2036844537C2778572836 @default.
- W2036844537 hasConceptScore W2036844537C2780069185 @default.
- W2036844537 hasConceptScore W2036844537C33923547 @default.
- W2036844537 hasConceptScore W2036844537C41008148 @default.
- W2036844537 hasConceptScore W2036844537C77553402 @default.
- W2036844537 hasIssue "2" @default.
- W2036844537 hasLocation W20368445371 @default.
- W2036844537 hasOpenAccess W2036844537 @default.
- W2036844537 hasPrimaryLocation W20368445371 @default.
- W2036844537 hasRelatedWork W1954846941 @default.
- W2036844537 hasRelatedWork W1973945634 @default.
- W2036844537 hasRelatedWork W1975068388 @default.
- W2036844537 hasRelatedWork W2055520238 @default.
- W2036844537 hasRelatedWork W2059034874 @default.
- W2036844537 hasRelatedWork W2061776474 @default.
- W2036844537 hasRelatedWork W2071709946 @default.
- W2036844537 hasRelatedWork W2964187826 @default.
- W2036844537 hasRelatedWork W3175123745 @default.
- W2036844537 hasRelatedWork W3199852337 @default.
- W2036844537 hasVolume "158" @default.
- W2036844537 isParatext "false" @default.
- W2036844537 isRetracted "false" @default.
- W2036844537 magId "2036844537" @default.
- W2036844537 workType "article" @default.