Search results for "Paola D'Aquino"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Paola D'Aquino, Julia F. Knight, Sergei Starchenko	Corrigendum to: "Real closed fields and models of arithmetic".	J. Symb. Log.	2012	DBLP BibTeX RDF
1	Paola D'Aquino, Angus Macintyre	Quadratic forms in models of IΔ0+Ω1, Part II: Local equivalence.	Ann. Pure Appl. Logic	2011	DBLP DOI BibTeX RDF
1	Paola D'Aquino, Julia F. Knight, Karen Lange	Limit computable integer parts.	Arch. Math. Log.	2011	DBLP DOI BibTeX RDF
1	Paola D'Aquino, Julia F. Knight, Sergei Starchenko	Real closed fields and models of Peano arithmetic.	J. Symb. Log.	2010	DBLP BibTeX RDF
1	Paola D'Aquino, Giuseppina Terzo	A note on the decidability of exponential terms.	Math. Log. Q.	2007	DBLP DOI BibTeX RDF
1	Paola D'Aquino, Angus Macintyre	Quadratic forms in models of IDelta0+Omega1. I.	Ann. Pure Appl. Logic	2007	DBLP DOI BibTeX RDF
1	Paola D'Aquino	Quotient Fields of a Model of I-Delta0 + Omega1.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
1	Paola D'Aquino	Solving Pell Equations Locally in Models of I Delta0.	J. Symb. Log.	1998	DBLP BibTeX RDF
1	Paola D'Aquino	Toward the Limits of the Tennebaum Phenomenon.	Notre Dame Journal of Formal Logic	1997	DBLP BibTeX RDF
1	Paola D'Aquino	Pell Equations and Exponentiation in Fragments of Arithmetic.	Ann. Pure Appl. Logic	1996	DBLP DOI BibTeX RDF
1	Alessandro Berarducci, Paola D'Aquino	Delta0-Complexity of the Relation y = \prodi <= n F(i).	Ann. Pure Appl. Logic	1995	DBLP DOI BibTeX RDF
1	Paola D'Aquino	A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta0.	Ann. Pure Appl. Logic	1993	DBLP DOI BibTeX RDF
1	Paola D'Aquino	Local Behaviour of the Chebyshev Theorem in Models of I Delta0.	J. Symb. Log.	1992	DBLP BibTeX RDF

Displaying result #1 - #13 of 13 (100 per page; Change: )

Publications of "Paola D''Aquino" ( http://dblp.L3S.de/Authors/Paola_D''Aquino )