Quantifier elimination in linear difference equations over Witt vectors (Q935343): Difference between revisions

@@ Property / DOI @@
-.1016/j.crma.2008.05.011
@@ Property / DOI: 10.1016/j.crma.2008.05.011 / rank @@
-Normal rank
@@ Property / cites work @@
+Model theory of the Frobenius on the Witt vectors
@@ Property / cites work: Model theory of the Frobenius on the Witt vectors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4848757
@@ Property / cites work: Q4848757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3331307
@@ Property / cites work: Q3331307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039792
@@ Property / cites work: Q4039792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440912
@@ Property / cites work: Q4440912 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3936723
@@ Property / cites work: Q3936723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708785
@@ Property / cites work: Q3708785 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.CRMA.2008.05.011
@@ Property / DOI: 10.1016/J.CRMA.2008.05.011 / rank @@
+Normal rank