26 résultats  enregistrer la recherche


...
hal-00175693v1  Article dans une revue
Dominique LecomteComplexité des boréliens à coupes dénombrables
Fundamenta Mathematicae, 2000, 165, pp.139-174
...
hal-00175692v1  Article dans une revue
Dominique LecomteTests à la Hurewicz dans le plan
Fundamenta Mathematicae, 1998, 156, pp.131-165
...
hal-00175689v1  Article dans une revue
Dominique LecomteClasses de Wadge potentielles et théorèmes d'uniformisation partielle
Fundamenta Mathematicae, 1993, 143, pp.231-258
...
hal-00453893v1  Pré-publication, Document de travail
Dominique LecomtePotential Wadge classes
2010
...
ensl-00157204v1  Communication dans un congrès
Dominique LecomteOlivier FinkelThere Exist some Omega-Powers of Any Borel Rank
Jacques Duparc and Thomas Henzinger. 16th EACSL Annual Conference on Computer Science and Logic, CSL 2007, September 11-15, 2007, Lausanne, Switzerland. Springer, pp.115-129, 2007, Lecture Notes in Computer Science
...
ensl-00319447v2  Communication dans un congrès
Olivier FinkelDominique LecomteTopological Complexity of omega-Powers : Extended Abstract
P. Hertling, V. Selivanov, W. Thomas, W. W. Wadge, K. Wagner. Dagstuhl Seminar on "Topological and Game-Theoretic Aspects of Infinite Computations" 29.06.08 - 04.07.08, Dagstuhl, Germany. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008, Dagstuhl Seminar Proceedings
...
hal-00175691v1  Article dans une revue
Dominique LecomteUniformisations partielles et critères à la Hurewicz dans le plan
Transactions of the American Mathematical Society, American Mathematical Society, 1995, 347 (11), pp.4433-4460
...
hal-00175697v1  Article dans une revue
Dominique LecomteOn minimal non-potentially closed subsets of the plane
Topology and its Applications, Elsevier, 2007, 154 (1), pp.241-262
...
hal-00175694v1  Article dans une revue
Dominique LecomteHow can we recover Baire class one functions?
Mathematika, University College London, 2003, 50, pp.171-198
...
hal-01345440v1  Pré-publication, Document de travail
Dominique LecomteAcyclicity and reduction
2016
...
hal-00413331v1  Article dans une revue
Olivier FinkelDominique LecomteDecision Problems For Turing Machines
Information Processing Letters, Elsevier, 2009, 109 (23-24), pp.1223-1226
...
hal-01128609v1  Article dans une revue
Olivier FinkelDominique LecomtePierre SimonnetAn Upper Bound on the Complexity of Recognizable Tree Languages
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2015, 49 (2), pp.121-137
...
hal-01016210v2  Pré-publication, Document de travail
Dominique LecomteMiroslav ZelenyBorel chromatic number of closed graphs
The proof of the main lemma has been changed, and the main result is now better than in the previ.. 2014
...
ensl-00168644v2  Article dans une revue
Olivier FinkelDominique LecomteClassical and Effective Descriptive Complexities of omega-Powers
Annals of Pure and Applied Logic, Elsevier Masson, 2009, 160 (2), pp.163-191
...
hal-00175695v1  Article dans une revue
Dominique LecomteHurewicz-like tests for Borel subsets of the plane
Electronic Research Announcements of the American Mathematical Society, American Institute of Mathematical Sciences, 2005, 11, pp.95-102
...
hal-00175690v1  Article dans une revue
Dominique LecomteClasses de Wadge potentielles des boréliens à coupes dénombrables
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1993, 317, pp.1045-1048
...
hal-00175696v1  Article dans une revue
Dominique LecomteOmega-powers and descriptive set theory
The Journal of Symbolic Logic, Association for Symbolic Logic, 2005, 70 (4), pp.1210-1232