Real computational universality: the word problem for a class of groups with infinite presentation (Q734136): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2047947448
@@ Property / OpenAlex ID: W2047947448 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
@@ Property / cites work: COMPLEXITY AND REAL COMPUTATION: A MANIFESTO / rank @@
+Normal rank
@@ Property / cites work @@
+THE WORD PROBLEM
@@ Property / cites work: THE WORD PROBLEM / rank @@
+Normal rank
@@ Property / cites work @@
+Q2765572
@@ Property / cites work: Q2765572 / rank @@
+Normal rank
@@ Property / cites work @@
+The combinatorial structure of the Hawaiian earring group
+Normal rank
@@ Property / cites work @@
+The Arithmetical Hierarchy Over the Reals
@@ Property / cites work: The Arithmetical Hierarchy Over the Reals / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum automata and algebraic groups
@@ Property / cites work: Quantum automata and algebraic groups / rank @@
+Normal rank
@@ Property / cites work @@
+The P-DNP problem for infinite Abelian groups
@@ Property / cites work: The P-DNP problem for infinite Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible telephone directories
@@ Property / cites work: Accessible telephone directories / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Theorems for Groups
@@ Property / cites work: Embedding Theorems for Groups / rank @@
+Normal rank
@@ Property / cites work @@
+GROUPS WITH CONTEXT-FREE CO-WORD PROBLEM
@@ Property / cites work: GROUPS WITH CONTEXT-FREE CO-WORD PROBLEM / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145882
@@ Property / cites work: Q4145882 / rank @@
+Normal rank
@@ Property / cites work @@
+An explicit solution to Post's problem over the reals
+Normal rank
@@ Property / cites work @@
+Ordered Rings Over Which Output Sets are Recursively Enumerable Sets
+Normal rank
@@ Property / cites work @@
+Q4012134
@@ Property / cites work: Q4012134 / rank @@
+Normal rank
@@ Property / cites work @@
+Groups, the theory of ends, and context-free languages
+Normal rank
@@ Property / cites work @@
+Q4841154
@@ Property / cites work: Q4841154 / rank @@
+Normal rank
@@ Property / cites work @@
+A model-theoretic proof for <i>P ≠ NP</i> over all infinite abelian group
+Normal rank
@@ Property / cites work @@
+Q4317890
@@ Property / cites work: Q4317890 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and the algebra of fields: Some affine constructions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:734136