.:. Listes > Par discipline > Logique .:.

10 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Hausdorff limits of Rolle leaves Lion J.-M., Speissegger P. Revista de la real academia de ciencias exactas fisicas y naturales serie A-Matematicas 107, 1 (SI) (2013) 79-89 [hal-00608339 - version 1]

An optimal construction of Hanf sentences Bollig B., Kuske D. Journal of Applied Logic 10, 2 (2012) 179-186 [hal-00776607 - version 1]

The theorem of the complement for sub-Pfaffian sets Lion J.-M., Speissegger P. Duke Mathematical Journal 155, 1 (2010) 35-90 [hal-00008450 - version 1]

Un problème de remplissage de verres Caruso X. Images des Mathématiques (2009) http://images.math.cnrs.fr/Un-probleme-de-remplissage-de.html [hal-00567596 - version 1]

Diophantine Undecidability of Holomorphy Rings of Function Fields of Characteristic 0 Moret-Bailly L., Shlapentokh A. Annales de l'Institut Fourier 59, 5 (2009) 2103-2118 [hal-00281648 - version 2]

Un théorème de type Haefliger définissable Lion J.-M., Speissegger P. Asterisque 323 (2009) 197-221 [hal-00133393 - version 1]

Zero-knowledge authentication schemes from actions on graphs, groups, or rings Grigoriev D., Shpilrain V. [hal-00252139 - version 1] (12/02/2008)

Probabilistic communication complexity over the reals Grigoriev D. Computational Complexity 17, 4 (2008) 536-548 [hal-00179245 - version 1]

Sur la définissabilité existentielle de la non-nullité dans les anneaux Moret-Bailly L. Algebra and Number Theory 1, 3 (2007) 331-346 [hal-00163482 - version 2]

Elliptic curves and Hilbert's tenth problem for algebraic function fields over real and p-adic fields Moret-Bailly L. Journal für die Reine und Angewandte Mathematik 587 (2005) 77-143 [hal-00020438 - version 1]