SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY (Q3304645): Difference between revisions

@@ Property / author @@
-Thomas J. Scanlon
@@ Property / author: Thomas J. Scanlon / rank @@
-Normal rank
@@ Property / author @@
+Thomas J. Scanlon
@@ Property / author: Thomas J. Scanlon / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3040394833
@@ Property / OpenAlex ID: W3040394833 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03239
@@ Property / arXiv ID: 1909.03239 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory of Fields With Operators – a Survey
+Normal rank
@@ Property / cites work @@
+Model theory of difference fields
@@ Property / cites work: Model theory of difference fields / rank @@
+Normal rank
@@ Property / cites work @@
+Q5334359
@@ Property / cites work: Q5334359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4421931
@@ Property / cites work: Q4421931 / rank @@
+Normal rank
@@ Property / cites work @@
+A characteristic set method for ordinary difference polynomial systems
+Normal rank
@@ Property / cites work @@
+Characteristic set method for differential-difference polynomial systems
+Normal rank
@@ Property / cites work @@
+Q3518705
@@ Property / cites work: Q3518705 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5788907
@@ Property / cites work: Q5788907 / rank @@
+Normal rank
@@ Property / cites work @@
+The Manin-Mumford conjecture and the model theory of difference fields
+Normal rank
@@ Property / cites work @@
+On von Neumann regular rings with an automorphism
@@ Property / cites work: On von Neumann regular rings with an automorphism / rank @@
+Normal rank
@@ Property / cites work @@
+On the effective Nullstellensatz
@@ Property / cites work: On the effective Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Closed-form analytic maps in one and two dimensions can simulate universal Turing machines
+Normal rank
@@ Property / cites work @@
+Q5680222
@@ Property / cites work: Q5680222 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Nullstellensatz in Infinite-Dimensional Space
+Normal rank
@@ Property / cites work @@
+On the model companion of partial differential fields with an automorphism
+Normal rank
@@ Property / cites work @@
+Difference algebra
@@ Property / cites work: Difference algebra / rank @@
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Unpredictability and undecidability in dynamical systems
+Normal rank
@@ Property / cites work @@
+Effective difference elimination and nullstellensatz
+Normal rank
@@ Property / cites work @@
+Q5795628
@@ Property / cites work: Q5795628 / rank @@
+Normal rank
@@ Property / cites work @@
+A unified approach to the definition of random sequences
+Normal rank
@@ Property / cites work @@
+The model theory of ordered differential fields
@@ Property / cites work: The model theory of ordered differential fields / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792485
@@ Property / cites work: Q5792485 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic problems for differential polynomial algebras
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3304645