The theory of Liouville functions (Q3160545): Difference between revisions

@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+La limite des theories de courbes generiques
@@ Property / cites work: La limite des theories de courbes generiques / rank @@
+Normal rank
@@ Property / cites work @@
+Q5702668
@@ Property / cites work: Q5702668 / rank @@
+Normal rank
@@ Property / cites work @@
+Back-and-forth systems for generic curves and a decision algorithm for the limit theory
+Normal rank
@@ Property / cites work @@
+Le carre de l'egalite
@@ Property / cites work: Le carre de l'egalite / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q5316383
@@ Property / cites work: Q5316383 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2758398
@@ Property / cites work: Q2758398 / rank @@
+Normal rank