Finitely presented expansions of computably enumerable semigroups (Q1936272): Difference between revisions

@@ Property / cites work @@
+Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems
+Normal rank
@@ Property / cites work @@
+Algebraic specifications of computable and semicomputable data types
+Normal rank
@@ Property / cites work @@
+Q4249355
@@ Property / cites work: Q4249355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809790
@@ Property / cites work: Q3809790 / rank @@
+Normal rank
@@ Property / cites work @@
+Randnomness, computability, and algebraic specifications
+Normal rank
@@ Property / cites work @@
+Finitely presented expansions of groups, semigroups, and algebras
+Normal rank
@@ Property / cites work @@
+Q5509036
@@ Property / cites work: Q5509036 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable symbolic dynamics
@@ Property / cites work: Computable symbolic dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Two notes on subshifts
@@ Property / cites work: Two notes on subshifts / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic-case complexity, decision problems in group theory, and random walks.
+Normal rank