Algebraic structures computable without delay (Q528478): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2017.01.029
@@ Property / DOI: 10.1016/j.tcs.2017.01.029 / rank @@
-Normal rank
@@ Property / cites work @@
+Existence and uniqueness of structures computable in polynomial time
+Normal rank
@@ Property / cites work @@
+DECIDABLE MODELS OF ω-STABLE                 THEORIES
@@ Property / cites work: DECIDABLE MODELS OF ω-STABLE THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+BREAKING UP FINITE AUTOMATA PRESENTABLE TORSION-FREE ABELIAN GROUPS
+Normal rank
@@ Property / cites work @@
+Q4946095
@@ Property / cites work: Q4946095 / rank @@
+Normal rank
@@ Property / cites work @@
+Space complexity of abelian groups
@@ Property / cites work: Space complexity of abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time versus recursive models
@@ Property / cites work: Polynomial-time versus recursive models / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time Abelian groups
@@ Property / cites work: Polynomial-time Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348127
@@ Property / cites work: Q4348127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249724
@@ Property / cites work: Q4249724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003861
@@ Property / cites work: Q4003861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4956005
@@ Property / cites work: Q4956005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958432
@@ Property / cites work: Q3958432 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of categoricity of computable structures
@@ Property / cites work: Degrees of categoricity of computable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5603320
@@ Property / cites work: Q5603320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5609457
@@ Property / cites work: Q5609457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931264
@@ Property / cites work: Q3931264 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3130249
@@ Property / cites work: Q3130249 / rank @@
+Normal rank
@@ Property / cites work @@
+The computable dimension of ordered abelian groups
+Normal rank
@@ Property / cites work @@
+Q4513969
@@ Property / cites work: Q4513969 / rank @@
+Normal rank
@@ Property / cites work @@
+Every recursive linear ordering has a copy in DTIME-SPACE(<i>n</i>,log(<i>n</i>))
+Normal rank
@@ Property / cites work @@
+Recursively presentable prime models
@@ Property / cites work: Recursively presentable prime models / rank @@
+Normal rank
@@ Property / cites work @@
+Independence in computable algebra
@@ Property / cites work: Independence in computable algebra / 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 @@
+A computably categorical structure whose expansion by a constant has infinite computable dimension
+Normal rank
@@ Property / cites work @@
+Q4249727
@@ Property / cites work: Q4249727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501152
@@ Property / cites work: Q4501152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396632
@@ Property / cites work: Q3396632 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Structures: Richness and Limitations
@@ Property / cites work: Automatic Structures: Richness and Limitations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938557
@@ Property / cites work: Q4938557 / rank @@
+Normal rank
@@ Property / cites work @@
+CONSTRUCTIVE ALGEBRAS I
@@ Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABLE ABELIAN GROUPS
@@ Property / cites work: COMPUTABLE ABELIAN GROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934290
@@ Property / cites work: Q4934290 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to computable model theory on groups and fields
+Normal rank
@@ Property / cites work @@
+Computably Categorical Fields via Fermat’s Last Theorem
+Normal rank
@@ Property / cites work @@
+Finite Automata Presentable Abelian Groups
@@ Property / cites work: Finite Automata Presentable Abelian Groups / rank @@
+Normal rank
@@ Property / cites work @@
+FA-presentable groups and rings
@@ Property / cites work: FA-presentable groups and rings / rank @@
+Normal rank
@@ Property / cites work @@
+Computable Algebra, General Theory and Theory of Computable Fields
+Normal rank
@@ Property / cites work @@
+Q3994998
@@ Property / cites work: Q3994998 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Boolean algebras with recursive atoms
@@ Property / cites work: Recursive Boolean algebras with recursive atoms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Relative to any nonrecursive set
@@ Property / cites work: Relative to any nonrecursive set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949039
@@ Property / cites work: Q3949039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+The additive group of the rationals does not have an automatic presentation
+Normal rank
@@ Property / cites work @@
+Enumerations, countable structures and Turing degrees
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2017.01.029
@@ Property / DOI: 10.1016/J.TCS.2017.01.029 / rank @@
+Normal rank