Decidability of Sub-theories of Polynomials over a Finite Field (Q3576076): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-03073-4_45
+Normal rank
@@ Property / OpenAlex ID @@
+W1593003561
@@ Property / OpenAlex ID: W1593003561 / rank @@
+Normal rank
@@ Property / cites work @@
+The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
+Normal rank
@@ Property / cites work @@
+The Diophantine Problem for Addition and Divisibility
+Normal rank
@@ Property / cites work @@
+Extensions of Hilbert's tenth problem
@@ Property / cites work: Extensions of Hilbert's tenth problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715529
@@ Property / cites work: Q2715529 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination theory for addition and the frobenius map in polynomial rings
+Normal rank
@@ Property / cites work @@
+Q3602608
@@ Property / cites work: Q3602608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3588162
@@ Property / cites work: Q3588162 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable Rings
@@ Property / cites work: Undecidable Rings / rank @@
+Normal rank
@@ Property / cites work @@
+LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
+Normal rank
@@ Property / cites work @@
+Q3661551
@@ Property / cites work: Q3661551 / rank @@
+Normal rank