SOLVABILITY OF EQUATIONS IN GRAPH GROUPS IS DECIDABLE (Q3430310): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Inhomogeneous sorting
@@ Property / cites work: Inhomogeneous sorting / rank @@
+Normal rank
@@ Property / cites work @@
+Connectivity at infinity for right angled Artin groups
+Normal rank
@@ Property / cites work @@
+Combinatorial problems of commutation and rearrangements
+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 @@
+Parallel Program Schemata and Maximal Parallelism I. Fundamental Results
+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 @@
+Satisfiability of word equations with constants is in PSPACE
+Normal rank