Finitely presented expansions of groups, semigroups, and algebras (Q5401728): 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 @@
+Computable symbolic dynamics
@@ Property / cites work: Computable symbolic dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509036
@@ Property / cites work: Q5509036 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Existence of Free Structures over Universal Classes
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 1: Recursive model theory
+Normal rank
@@ Property / cites work @@
+Handbook of computability theory
@@ Property / cites work: Handbook of computability theory / rank @@
+Normal rank
@@ Property / cites work @@
+Randnomness, computability, and algebraic specifications
+Normal rank
@@ Property / cites work @@
+Finitely presented expansions of computably enumerable semigroups
+Normal rank
@@ Property / cites work @@
+Generic-case complexity, decision problems in group theory, and random walks.
+Normal rank
@@ Property / cites work @@
+Algorithmically finite groups.
@@ Property / cites work: Algorithmically finite groups. / rank @@
+Normal rank
@@ Property / cites work @@
+Two notes on subshifts
@@ Property / cites work: Two notes on subshifts / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank