Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299786041> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4299786041 abstract "The aim of this paper is to present a PSPACE algorithm which yields a finite graph of exponential size and which describes the set of all solutions of equations in free groups as well as the set of all solutions of equations in free monoids with involution in the presence of rational constraints. This became possible due to the recently invented emph{recompression} technique of the second author. He successfully applied the recompression technique for pure word equations without involution or rational constraints. In particular, his method could not be used as a black box for free groups (even without rational constraints). Actually, the presence of an involution (inverse elements) and rational constraints complicates the situation and some additional analysis is necessary. Still, the recompression technique is general enough to accommodate both extensions. In the end, it simplifies proofs that solving word equations is in PSPACE (Plandowski 1999) and the corresponding result for equations in free groups with rational constraints (Diekert, Hagenah and Gutierrez 2001). As a byproduct we obtain a direct proof that it is decidable in PSPACE whether or not the solution set is finite." @default.
- W4299786041 created "2022-10-03" @default.
- W4299786041 creator A5054093863 @default.
- W4299786041 creator A5066525178 @default.
- W4299786041 creator A5068812588 @default.
- W4299786041 date "2014-05-20" @default.
- W4299786041 modified "2023-10-11" @default.
- W4299786041 title "Finding All Solutions of Equations in Free Groups and Monoids with Involution" @default.
- W4299786041 doi "https://doi.org/10.48550/arxiv.1405.5133" @default.
- W4299786041 hasPublicationYear "2014" @default.
- W4299786041 type Work @default.
- W4299786041 citedByCount "0" @default.
- W4299786041 crossrefType "posted-content" @default.
- W4299786041 hasAuthorship W4299786041A5054093863 @default.
- W4299786041 hasAuthorship W4299786041A5066525178 @default.
- W4299786041 hasAuthorship W4299786041A5068812588 @default.
- W4299786041 hasBestOaLocation W42997860411 @default.
- W4299786041 hasConcept C108710211 @default.
- W4299786041 hasConcept C11413529 @default.
- W4299786041 hasConcept C118615104 @default.
- W4299786041 hasConcept C153269930 @default.
- W4299786041 hasConcept C17744445 @default.
- W4299786041 hasConcept C179799912 @default.
- W4299786041 hasConcept C197685441 @default.
- W4299786041 hasConcept C199539241 @default.
- W4299786041 hasConcept C202444582 @default.
- W4299786041 hasConcept C207467116 @default.
- W4299786041 hasConcept C2524010 @default.
- W4299786041 hasConcept C2781409172 @default.
- W4299786041 hasConcept C33923547 @default.
- W4299786041 hasConcept C94625758 @default.
- W4299786041 hasConceptScore W4299786041C108710211 @default.
- W4299786041 hasConceptScore W4299786041C11413529 @default.
- W4299786041 hasConceptScore W4299786041C118615104 @default.
- W4299786041 hasConceptScore W4299786041C153269930 @default.
- W4299786041 hasConceptScore W4299786041C17744445 @default.
- W4299786041 hasConceptScore W4299786041C179799912 @default.
- W4299786041 hasConceptScore W4299786041C197685441 @default.
- W4299786041 hasConceptScore W4299786041C199539241 @default.
- W4299786041 hasConceptScore W4299786041C202444582 @default.
- W4299786041 hasConceptScore W4299786041C207467116 @default.
- W4299786041 hasConceptScore W4299786041C2524010 @default.
- W4299786041 hasConceptScore W4299786041C2781409172 @default.
- W4299786041 hasConceptScore W4299786041C33923547 @default.
- W4299786041 hasConceptScore W4299786041C94625758 @default.
- W4299786041 hasLocation W42997860411 @default.
- W4299786041 hasOpenAccess W4299786041 @default.
- W4299786041 hasPrimaryLocation W42997860411 @default.
- W4299786041 hasRelatedWork W1763969474 @default.
- W4299786041 hasRelatedWork W1885522108 @default.
- W4299786041 hasRelatedWork W2070955516 @default.
- W4299786041 hasRelatedWork W2083922444 @default.
- W4299786041 hasRelatedWork W2086671596 @default.
- W4299786041 hasRelatedWork W2104269969 @default.
- W4299786041 hasRelatedWork W2153627297 @default.
- W4299786041 hasRelatedWork W2161979183 @default.
- W4299786041 hasRelatedWork W2344062286 @default.
- W4299786041 hasRelatedWork W2381526784 @default.
- W4299786041 isParatext "false" @default.
- W4299786041 isRetracted "false" @default.
- W4299786041 workType "article" @default.