|
|
||
|---|---|---|
|
hal-00852718v1
Pré-publication, Document de travail
Dominique Lecomte, Miroslav Zeleny. Descriptive complexity of countable unions of Borel rectangles 2013 |
||
|
hal-00175693v1
Article dans une revue
Dominique Lecomte. Complexité des boréliens à coupes dénombrables Fundamenta Mathematicae, 2000, 165, pp.139-174 |
||
|
hal-00175692v1
Article dans une revue
Dominique Lecomte. Tests à la Hurewicz dans le plan Fundamenta Mathematicae, 1998, 156, pp.131-165 |
||
|
hal-00175689v1
Article dans une revue
Dominique Lecomte. Classes de Wadge potentielles et théorèmes d'uniformisation partielle Fundamenta Mathematicae, 1993, 143, pp.231-258 |
||
|
hal-00161057v2
Article dans une revue
Dominique Lecomte. A dichotomy characterizing analytic digraphs of uncountable Borel chromatic number in any dimension. Trans. Amer. Math. Soc., 2009, 361, pp.4181-4193 |
||
|
ensl-00157204v1
Communication dans un congrès
Dominique Lecomte, Olivier Finkel. There 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 Finkel, Dominique Lecomte. Topological 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-00586487v1
Pré-publication, Document de travail
Dominique Lecomte, Miroslav Zeleny. Baire-class $\xi$ colorings: the first three levels 2011 |
||
|
hal-00175691v1
Article dans une revue
Dominique Lecomte. Uniformisations 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 Lecomte. On minimal non-potentially closed subsets of the plane Topology and its Applications, Elsevier, 2007, 154 (1), pp.241-262 |
||
|
hal-00472830v1
Pré-publication, Document de travail
Dominique Lecomte. Baire class one colorings and a dichotomy for countable unions of $F_\sigma$ rectangles 2010 |
||
|
hal-01052451v1
Pré-publication, Document de travail
Dominique Lecomte, John D. Clemens, Benjamin D. Miller. Essential countability of treeable equivalence relations 2014 |
||
|
hal-00175694v1
Article dans une revue
Dominique Lecomte. How can we recover Baire class one functions? Mathematika, University College London, 2003, 50, pp.171-198 |
||
|
hal-00389795v1
Pré-publication, Document de travail
Dominique Lecomte. How can we recognize potentially ${\bf\Pi}^0_\xi$ subsets of the plane? 2006 |
||
|
hal-01178086v1
Pré-publication, Document de travail
Dominique Lecomte, Rafael Zamora. Injective tests of low complexity in the plane 2015 |
||
|
hal-01242318v1
Pré-publication, Document de travail
Dominique Lecomte, Miroslav Zeleny. Universal and complete sets in martingale theory 2015 |
||
|
hal-00413331v1
Article dans une revue
Olivier Finkel, Dominique Lecomte. Decision Problems For Turing Machines Information Processing Letters, Elsevier, 2009, 109 (23-24), pp.1223-1226 |
||
|
hal-01128609v1
Article dans une revue
Olivier Finkel, Dominique Lecomte, Pierre Simonnet. An 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 Lecomte, Miroslav Zeleny. Borel 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 |
||
|
hal-01098837v1
Pré-publication, Document de travail
John D. Clemens, Dominique Lecomte, Benjamin D. Miller. DICHOTOMY THEOREMS FOR FAMILIES OF NON-COFINAL ESSENTIAL COMPLEXITY 2014 |
||
|
ensl-00168644v2
Article dans une revue
Olivier Finkel, Dominique Lecomte. Classical 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 Lecomte. Hurewicz-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 Lecomte. Classes 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 Lecomte. Omega-powers and descriptive set theory The Journal of Symbolic Logic, Association for Symbolic Logic, 2005, 70 (4), pp.1210-1232 |
||
|
|
||