| 2009 |
|---|
| 16 | EE | Lou van den Dries,
Yiannis N. Moschovakis:
Arithmetic complexity.
ACM Trans. Comput. Log. 10(1): (2009) |
| 2004 |
|---|
| 15 | EE | Lou van den Dries,
Yiannis N. Moschovakis:
Is the Euclidean algorithm optimal among its peers?
Bulletin of Symbolic Logic 10(3): 390-418 (2004) |
| 2003 |
|---|
| 14 | EE | Lou van den Dries:
Generating the Greatest Common Divisor, and Limitations of Primitive Recursive Algorithms.
Foundations of Computational Mathematics 3(3): 297-324 (2003) |
| 13 | | Lou van den Dries,
A. J. Wilkie:
The laws of integer divisibility, and solution sets of linear divisibility conditions.
J. Symb. Log. 68(2): 503-526 (2003) |
| 2001 |
|---|
| 12 | | Lou van den Dries,
Angus Macintyre,
David Marker:
Logarithmic-exponential series.
Ann. Pure Appl. Logic 111(1-2): 61-113 (2001) |
| 1998 |
|---|
| 11 | | Lou van den Dries:
Correction to "T-Convexity and Tame Extensions II".
J. Symb. Log. 63(4): 1597 (1998) |
| 1997 |
|---|
| 10 | | Lou van den Dries:
T-Convexity and Tame Extensions II.
J. Symb. Log. 62(1): 14-34 (1997) |
| 1995 |
|---|
| 9 | | Lou van den Dries,
Adam H. Lewenberg:
T-Convexity and Tame Extensions.
J. Symb. Log. 60(1): 74-102 (1995) |
| 1992 |
|---|
| 8 | | Lou van den Dries,
Jan Holly:
Quantifier Elimination for Modules with Scalar Variables.
Ann. Pure Appl. Logic 57(2): 161-179 (1992) |
| 1989 |
|---|
| 7 | | Lou van den Dries:
Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields.
Ann. Pure Appl. Logic 45(2): 189-209 (1989) |
| 6 | | Lou van den Dries,
David Marker,
Gary Martin:
Definable Equivalence Relations on Algebraically Closed Fields.
J. Symb. Log. 54(3): 928-935 (1989) |
| 1988 |
|---|
| 5 | | Lou van den Dries:
Alfred Tarski's Elimination Theory for Real Closed Fields.
J. Symb. Log. 53(1): 7-19 (1988) |
| 4 | | Lou van den Dries:
On the Elementary Theory of Restricted Elementary Functions.
J. Symb. Log. 53(3): 796-808 (1988) |
| 3 | | Philip Scowcroft,
Lou van den Dries:
On the Structure of Semialgebraic Sets Over p-Adic Fields.
J. Symb. Log. 53(4): 1138-1164 (1988) |
| 1985 |
|---|
| 2 | | Lou van den Dries,
Rick L. Smith:
Decidable Regularly Closed Fields of Algebraic Numbers.
J. Symb. Log. 50(2): 468-475 (1985) |
| 1984 |
|---|
| 1 | | Lou van den Dries:
Algebraic Theories with Definable Skolem Functions.
J. Symb. Log. 49(2): 625-629 (1984) |
