The existential theory of equations with rational constraints in free groups is PSPACE-complete (Q2573633): Difference between revisions

@@ Property / cites work @@
+Q5616207
@@ Property / cites work: Q5616207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762503
@@ Property / cites work: Q2762503 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Existential and positive theories of equations in graph products
+Normal rank
@@ Property / cites work @@
+Solving word equations modulo partial commutations
+Normal rank
@@ Property / cites work @@
+Q4535046
@@ Property / cites work: Q4535046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+A Bound on Solutions of Linear Integer Equalities and Inequalities
+Normal rank
@@ Property / cites work @@
+Monadic simultaneous rigid E-unification and related problems
+Normal rank
@@ Property / cites work @@
+Q4508394
@@ Property / cites work: Q4508394 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of equations in free groups is in PSPACE
+Normal rank
@@ Property / cites work @@
+Q4408477
@@ Property / cites work: Q4408477 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressibility of languages and relations by word equations
+Normal rank
@@ Property / cites work @@
+Complexity of Makanin's algorithm
@@ Property / cites work: Complexity of Makanin's algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Makanin's algorithm is not primitive recursive
@@ Property / cites work: Makanin's algorithm is not primitive recursive / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659988
@@ Property / cites work: Q3659988 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146913
@@ Property / cites work: Q4146913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4750010
@@ Property / cites work: Q4750010 / rank @@
+Normal rank
@@ Property / cites work @@
+DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
+Normal rank
@@ Property / cites work @@
+Q3699681
@@ Property / cites work: Q3699681 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds on the index and period of a binary relation on a finite set
+Normal rank
@@ Property / cites work @@
+Q4376064
@@ Property / cites work: Q4376064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619830
@@ Property / cites work: Q5619830 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of word equations with constants is in NEXPTIME
+Normal rank
@@ Property / cites work @@
+Satisfiability of word equations with constants is in PSPACE
+Normal rank
@@ Property / cites work @@
+Q4219050
@@ Property / cites work: Q4219050 / rank @@
+Normal rank
@@ Property / cites work @@
+ON SYSTEMS OF EQUATIONS IN A FREE GROUP
@@ Property / cites work: ON SYSTEMS OF EQUATIONS IN A FREE GROUP / rank @@
+Normal rank
@@ Property / cites work @@
+Makanin's algorithm for word equations-two improvements and a generalization
+Normal rank