Theories of arithmetics in finite models (Q3370752): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1983665017
@@ Property / OpenAlex ID: W1983665017 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115921923
@@ Property / Wikidata QID: Q115921923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+On Pascal triangles modulo a prime power
@@ Property / cites work: On Pascal triangles modulo a prime power / rank @@
+Normal rank
@@ Property / cites work @@
+On uniformity within \(NC^ 1\)
@@ Property / cites work: On uniformity within \(NC^ 1\) / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Methods in Number Theory
@@ Property / cites work: Elementary Methods in Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetic of divisibility in finite models
@@ Property / cites work: Arithmetic of divisibility in finite models / rank @@
+Normal rank
@@ Property / cites work @@
+Q2765574
@@ Property / cites work: Q2765574 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical definability over finite structures
@@ Property / cites work: Arithmetical definability over finite structures / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3370752