Time-Complexity of the Word Problem for Semigroups and the Higman Embedding Theorem (Q4354236): Difference between revisions

@@ Property / author @@
-Jean-Camille Birget
@@ Property / author: Jean-Camille Birget / rank @@
-Normal rank
@@ Property / author @@
+Jean-Camille Birget
@@ Property / author: Jean-Camille Birget / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Subrekursive Komplexität bei Gruppen. I: Gruppen mit vorgeschriebener Komplexität
+Normal rank
@@ Property / cites work @@
+Subrekursive Komplexität bei Gruppen. II: Der Einbettungssatz von Higman für entscheidbare Gruppen
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Data management support for database management
@@ Property / cites work: Data management support for database management / rank @@
+Normal rank
@@ Property / cites work @@
+Time- and tape-bounded Turing acceptors and AFLs
@@ Property / cites work: Time- and tape-bounded Turing acceptors and AFLs / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of Computable groups and the word problem
+Normal rank
@@ Property / cites work @@
+Seperating the intrinsic complexity and the derivational complexity of the word problem for finitely presented groups
+Normal rank
@@ Property / cites work @@
+One-tape, off-line Turing machine computations
@@ Property / cites work: One-tape, off-line Turing machine computations / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Limited Grammars
@@ Property / cites work: Context-Limited Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Subgroups of finitely presented groups
@@ Property / cites work: Subgroups of finitely presented groups / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Theorems with Amalgamation for Semigroups<sup>†</sup>
+Normal rank
@@ Property / cites work @@
+A comparison of polynomial time reducibilities
@@ Property / cites work: A comparison of polynomial time reducibilities / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric space-bounded computation
@@ Property / cites work: Symmetric space-bounded computation / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Bennett’s Time-Space Tradeoff for Reversible Computation
+Normal rank
@@ Property / cites work @@
+Pseudo-natural algorithms for the word problem for finitely presented monoids and groups
+Normal rank
@@ Property / cites work @@
+HYPERBOLICITY OF GROUPS WITH SUBQUADRATIC ISOPERIMETRIC INEQUALITY
+Normal rank
@@ Property / cites work @@
+On the geometry of semigroup presentations
@@ Property / cites work: On the geometry of semigroup presentations / rank @@
+Normal rank
@@ Property / cites work @@
+Gruppen mit vorgeschriebenem Wortproblem
@@ Property / cites work: Gruppen mit vorgeschriebenem Wortproblem / rank @@
+Normal rank