Search results for "Lou van den Dries"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Vinicius Cifú Lopes, Lou van den Dries	Invariant measures on groups satisfying various chain conditions.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Vinicius Cifú Lopes, Lou van den Dries	Division rings whose vector spaces are pseudofinite.	J. Symb. Log.	2010	DBLP BibTeX RDF
1	Lou van den Dries, Yiannis N. Moschovakis	Arithmetic complexity.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Lower bounds for arithmetical problems, coprimeness, greatest common divisor, recursive programs
1	Lou van den Dries, Yiannis N. Moschovakis	Is the Euclidean algorithm optimal among its peers?	Bulletin of Symbolic Logic	2004	DBLP BibTeX RDF
1	Lou van den Dries	Generating the Greatest Common Divisor, and Limitations of Primitive Recursive Algorithms.	Foundations of Computational Mathematics	2003	DBLP DOI BibTeX RDF
1	Lou van den Dries, A. J. Wilkie	The laws of integer divisibility, and solution sets of linear divisibility conditions.	J. Symb. Log.	2003	DBLP BibTeX RDF
1	Lou van den Dries, Angus Macintyre, David Marker	Logarithmic-exponential series.	Ann. Pure Appl. Logic	2001	DBLP DOI BibTeX RDF
1	Lou van den Dries	Correction to "T-Convexity and Tame Extensions II".	J. Symb. Log.	1998	DBLP BibTeX RDF
1	Lou van den Dries	T-Convexity and Tame Extensions II.	J. Symb. Log.	1997	DBLP BibTeX RDF
1	Lou van den Dries, Adam H. Lewenberg	T-Convexity and Tame Extensions.	J. Symb. Log.	1995	DBLP BibTeX RDF
1	Lou van den Dries, Jan Holly	Quantifier Elimination for Modules with Scalar Variables.	Ann. Pure Appl. Logic	1992	DBLP DOI BibTeX RDF
1	Lou van den Dries, David Marker, Gary Martin	Definable Equivalence Relations on Algebraically Closed Fields.	J. Symb. Log.	1989	DBLP BibTeX RDF
1	Lou van den Dries	Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields.	Ann. Pure Appl. Logic	1989	DBLP DOI BibTeX RDF
1	Lou van den Dries	On the Elementary Theory of Restricted Elementary Functions.	J. Symb. Log.	1988	DBLP BibTeX RDF
1	Lou van den Dries	Alfred Tarski's Elimination Theory for Real Closed Fields.	J. Symb. Log.	1988	DBLP BibTeX RDF
1	Philip Scowcroft, Lou van den Dries	On the Structure of Semialgebraic Sets Over p-Adic Fields.	J. Symb. Log.	1988	DBLP BibTeX RDF
1	Lou van den Dries, Rick L. Smith	Decidable Regularly Closed Fields of Algebraic Numbers.	J. Symb. Log.	1985	DBLP BibTeX RDF
1	Lou van den Dries	Algebraic Theories with Definable Skolem Functions.	J. Symb. Log.	1984	DBLP BibTeX RDF

Publications of "Lou van den Dries" ( http://dblp.L3S.de/Authors/Lou_van_den_Dries )