Some undecidability results for asynchronous transducers and the Brin-Thompson group $2V$ (Q2960427): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3105273758
@@ Property / OpenAlex ID: W3105273758 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0982
@@ Property / arXiv ID: 1405.0982 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing Computations in Automaton (Semi)groups
+Normal rank
@@ Property / cites work @@
+Q5658240
@@ Property / cites work: Q5658240 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic method for public-key cryptography
@@ Property / cites work: An algebraic method for public-key cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism versus commensurability for a class of finitely presented groups
+Normal rank
@@ Property / cites work @@
+Conjugacy and dynamics in Thompson's groups.
@@ Property / cites work: Conjugacy and dynamics in Thompson's groups. / rank @@
+Normal rank
@@ Property / cites work @@
+Some Unsolvable Problems about Elements and Subgroups of Groups.
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding stability and mortality of piecewise affine dynamical systems
+Normal rank
@@ Property / cites work @@
+On the conjugacy problem for finite-state automorphisms of regular rooted trees. With an appendix by Raphaël M. Jungers
+Normal rank
@@ Property / cites work @@
+Higher dimensional Thompson groups.
@@ Property / cites work: Higher dimensional Thompson groups. / rank @@
+Normal rank
@@ Property / cites work @@
+Presentations of higher dimensional Thompson groups.
+Normal rank
@@ Property / cites work @@
+On the baker's map and the simplicity of the higher dimensional Thompson groups \(nV\).
+Normal rank
@@ Property / cites work @@
+Metric properties of higher-dimensional Thompson's groups.
+Normal rank
@@ Property / cites work @@
+The Brin-Thompson groups \(sV\) are of the type \(\text F_\infty\).
+Normal rank
@@ Property / cites work @@
+THE FINITENESS PROBLEM FOR AUTOMATON SEMIGROUPS IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Q5546796
@@ Property / cites work: Q5546796 / rank @@
+Normal rank
@@ Property / cites work @@
+On Burnside's problem on periodic groups
@@ Property / cites work: On Burnside's problem on periodic groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783052
@@ Property / cites work: Q2783052 / rank @@
+Normal rank
@@ Property / cites work @@
+Presentations for the higher-dimensional Thompson groups \(nV\).
+Normal rank
@@ Property / cites work @@
+Periodicity and Immortality in Reversible Computing
+Normal rank
@@ Property / cites work @@
+The finiteness of a group generated by a 2-letter invertible-reversible Mealy automaton is decidable
+Normal rank
@@ Property / cites work @@
+Q4536800
@@ Property / cites work: Q4536800 / rank @@
+Normal rank
@@ Property / cites work @@
+Cohomological finiteness properties of the Brin–Thompson–Higman groups 2<i>V</i> and 3<i>V</i>
+Normal rank
@@ Property / cites work @@
+On topological dynamics of Turing machines
@@ Property / cites work: On topological dynamics of Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4774034
@@ Property / cites work: Q4774034 / rank @@
+Normal rank
@@ Property / cites work @@
+Universality of a reversible two-counter machine
@@ Property / cites work: Universality of a reversible two-counter machine / rank @@
+Normal rank
@@ Property / cites work @@
+On Non-Computable Functions
@@ Property / cites work: On Non-Computable Functions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2960427