Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500424608> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1500424608 endingPage "165" @default.
- W1500424608 startingPage "154" @default.
- W1500424608 abstract "We study the monadic case of a decision problem know as simultaneous rigid E-unification. We show its equivalence to an extension of word equations. We prove decidability and complexity results for special cases of this problem.KeywordsFunction SymbolFinite AutomatonIntersection NonemptynessIdeal EquationGround TermThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1500424608 created "2016-06-24" @default.
- W1500424608 creator A5054629753 @default.
- W1500424608 creator A5065430432 @default.
- W1500424608 date "1997-01-01" @default.
- W1500424608 modified "2023-09-27" @default.
- W1500424608 title "Monadic simultaneous rigid E-unification and related problems" @default.
- W1500424608 cites W1500424608 @default.
- W1500424608 cites W1541144667 @default.
- W1500424608 cites W2007520000 @default.
- W1500424608 cites W2036915776 @default.
- W1500424608 cites W2039529128 @default.
- W1500424608 cites W2054924158 @default.
- W1500424608 cites W2118701833 @default.
- W1500424608 doi "https://doi.org/10.1007/3-540-63165-8_173" @default.
- W1500424608 hasPublicationYear "1997" @default.
- W1500424608 type Work @default.
- W1500424608 sameAs 1500424608 @default.
- W1500424608 citedByCount "13" @default.
- W1500424608 crossrefType "book-chapter" @default.
- W1500424608 hasAuthorship W1500424608A5054629753 @default.
- W1500424608 hasAuthorship W1500424608A5065430432 @default.
- W1500424608 hasConcept C11413529 @default.
- W1500424608 hasConcept C115988155 @default.
- W1500424608 hasConcept C118615104 @default.
- W1500424608 hasConcept C136119220 @default.
- W1500424608 hasConcept C153269930 @default.
- W1500424608 hasConcept C179799912 @default.
- W1500424608 hasConcept C199360897 @default.
- W1500424608 hasConcept C202444582 @default.
- W1500424608 hasConcept C2778029271 @default.
- W1500424608 hasConcept C2780069185 @default.
- W1500424608 hasConcept C33923547 @default.
- W1500424608 hasConcept C41008148 @default.
- W1500424608 hasConcept C80444323 @default.
- W1500424608 hasConcept C96146094 @default.
- W1500424608 hasConceptScore W1500424608C11413529 @default.
- W1500424608 hasConceptScore W1500424608C115988155 @default.
- W1500424608 hasConceptScore W1500424608C118615104 @default.
- W1500424608 hasConceptScore W1500424608C136119220 @default.
- W1500424608 hasConceptScore W1500424608C153269930 @default.
- W1500424608 hasConceptScore W1500424608C179799912 @default.
- W1500424608 hasConceptScore W1500424608C199360897 @default.
- W1500424608 hasConceptScore W1500424608C202444582 @default.
- W1500424608 hasConceptScore W1500424608C2778029271 @default.
- W1500424608 hasConceptScore W1500424608C2780069185 @default.
- W1500424608 hasConceptScore W1500424608C33923547 @default.
- W1500424608 hasConceptScore W1500424608C41008148 @default.
- W1500424608 hasConceptScore W1500424608C80444323 @default.
- W1500424608 hasConceptScore W1500424608C96146094 @default.
- W1500424608 hasLocation W15004246081 @default.
- W1500424608 hasOpenAccess W1500424608 @default.
- W1500424608 hasPrimaryLocation W15004246081 @default.
- W1500424608 hasRelatedWork W1501902699 @default.
- W1500424608 hasRelatedWork W1546048935 @default.
- W1500424608 hasRelatedWork W1568007287 @default.
- W1500424608 hasRelatedWork W1583400373 @default.
- W1500424608 hasRelatedWork W1692739636 @default.
- W1500424608 hasRelatedWork W1903986294 @default.
- W1500424608 hasRelatedWork W1993370765 @default.
- W1500424608 hasRelatedWork W1995868631 @default.
- W1500424608 hasRelatedWork W2007520000 @default.
- W1500424608 hasRelatedWork W2030028426 @default.
- W1500424608 hasRelatedWork W2037895998 @default.
- W1500424608 hasRelatedWork W2059054133 @default.
- W1500424608 hasRelatedWork W2105602558 @default.
- W1500424608 hasRelatedWork W2118701833 @default.
- W1500424608 hasRelatedWork W2128805181 @default.
- W1500424608 hasRelatedWork W2142202556 @default.
- W1500424608 hasRelatedWork W2149015191 @default.
- W1500424608 hasRelatedWork W71290743 @default.
- W1500424608 hasRelatedWork W3022160868 @default.
- W1500424608 hasRelatedWork W3022408543 @default.
- W1500424608 isParatext "false" @default.
- W1500424608 isRetracted "false" @default.
- W1500424608 magId "1500424608" @default.
- W1500424608 workType "book-chapter" @default.