Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090997504> ?p ?o ?g. }
- W2090997504 endingPage "156" @default.
- W2090997504 startingPage "133" @default.
- W2090997504 abstract "We prove that the existential theory of equations with normalized rational constraints in a fixed graph product of finite monoids, free monoids, and free groups is PSPACE-complete. Under certain restrictions this result also holds if the graph product is part of the input. As the second main result we prove that the positive theory of equations with recognizable constraints in graph products of finite and free groups is decidable." @default.
- W2090997504 created "2016-06-24" @default.
- W2090997504 creator A5005500210 @default.
- W2090997504 creator A5054093863 @default.
- W2090997504 date "2004-01-01" @default.
- W2090997504 modified "2023-09-24" @default.
- W2090997504 title "Existential and Positive Theories of Equations in Graph Products" @default.
- W2090997504 cites W128453691 @default.
- W2090997504 cites W1496412704 @default.
- W2090997504 cites W1502428252 @default.
- W2090997504 cites W1505482284 @default.
- W2090997504 cites W1511526676 @default.
- W2090997504 cites W1523977407 @default.
- W2090997504 cites W1553999721 @default.
- W2090997504 cites W1582505610 @default.
- W2090997504 cites W187986157 @default.
- W2090997504 cites W1974069850 @default.
- W2090997504 cites W1975885036 @default.
- W2090997504 cites W1977861184 @default.
- W2090997504 cites W1993370765 @default.
- W2090997504 cites W2006141572 @default.
- W2090997504 cites W2014395024 @default.
- W2090997504 cites W2021592352 @default.
- W2090997504 cites W2022598306 @default.
- W2090997504 cites W2022620380 @default.
- W2090997504 cites W2026384981 @default.
- W2090997504 cites W2035590446 @default.
- W2090997504 cites W2039367955 @default.
- W2090997504 cites W2039529128 @default.
- W2090997504 cites W2040480652 @default.
- W2090997504 cites W2060903394 @default.
- W2090997504 cites W2076844127 @default.
- W2090997504 cites W2089919742 @default.
- W2090997504 cites W2129564013 @default.
- W2090997504 cites W2148722937 @default.
- W2090997504 cites W2153128123 @default.
- W2090997504 cites W2323378191 @default.
- W2090997504 cites W2563330111 @default.
- W2090997504 doi "https://doi.org/10.1007/s00224-003-1110-x" @default.
- W2090997504 hasPublicationYear "2004" @default.
- W2090997504 type Work @default.
- W2090997504 sameAs 2090997504 @default.
- W2090997504 citedByCount "19" @default.
- W2090997504 countsByYear W20909975042012 @default.
- W2090997504 countsByYear W20909975042013 @default.
- W2090997504 countsByYear W20909975042017 @default.
- W2090997504 countsByYear W20909975042018 @default.
- W2090997504 countsByYear W20909975042019 @default.
- W2090997504 countsByYear W20909975042020 @default.
- W2090997504 countsByYear W20909975042022 @default.
- W2090997504 crossrefType "journal-article" @default.
- W2090997504 hasAuthorship W2090997504A5005500210 @default.
- W2090997504 hasAuthorship W2090997504A5054093863 @default.
- W2090997504 hasBestOaLocation W20909975042 @default.
- W2090997504 hasConcept C111472728 @default.
- W2090997504 hasConcept C118615104 @default.
- W2090997504 hasConcept C121332964 @default.
- W2090997504 hasConcept C127882523 @default.
- W2090997504 hasConcept C132525143 @default.
- W2090997504 hasConcept C138885662 @default.
- W2090997504 hasConcept C153269930 @default.
- W2090997504 hasConcept C202444582 @default.
- W2090997504 hasConcept C2524010 @default.
- W2090997504 hasConcept C2781311116 @default.
- W2090997504 hasConcept C2994516854 @default.
- W2090997504 hasConcept C33923547 @default.
- W2090997504 hasConcept C47527751 @default.
- W2090997504 hasConcept C62520636 @default.
- W2090997504 hasConcept C90673727 @default.
- W2090997504 hasConceptScore W2090997504C111472728 @default.
- W2090997504 hasConceptScore W2090997504C118615104 @default.
- W2090997504 hasConceptScore W2090997504C121332964 @default.
- W2090997504 hasConceptScore W2090997504C127882523 @default.
- W2090997504 hasConceptScore W2090997504C132525143 @default.
- W2090997504 hasConceptScore W2090997504C138885662 @default.
- W2090997504 hasConceptScore W2090997504C153269930 @default.
- W2090997504 hasConceptScore W2090997504C202444582 @default.
- W2090997504 hasConceptScore W2090997504C2524010 @default.
- W2090997504 hasConceptScore W2090997504C2781311116 @default.
- W2090997504 hasConceptScore W2090997504C2994516854 @default.
- W2090997504 hasConceptScore W2090997504C33923547 @default.
- W2090997504 hasConceptScore W2090997504C47527751 @default.
- W2090997504 hasConceptScore W2090997504C62520636 @default.
- W2090997504 hasConceptScore W2090997504C90673727 @default.
- W2090997504 hasIssue "1" @default.
- W2090997504 hasLocation W20909975041 @default.
- W2090997504 hasLocation W20909975042 @default.
- W2090997504 hasLocation W20909975043 @default.
- W2090997504 hasOpenAccess W2090997504 @default.
- W2090997504 hasPrimaryLocation W20909975041 @default.
- W2090997504 hasRelatedWork W1509877054 @default.
- W2090997504 hasRelatedWork W1692503540 @default.
- W2090997504 hasRelatedWork W1968719244 @default.
- W2090997504 hasRelatedWork W2008686032 @default.
- W2090997504 hasRelatedWork W2090997504 @default.
- W2090997504 hasRelatedWork W2161913867 @default.
- W2090997504 hasRelatedWork W2962857306 @default.
- W2090997504 hasRelatedWork W4225960097 @default.