Dominique Lecomte

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 13

Top Topics

Top Venues

Arch. Math. Log.

Publications

Olivier Finkel, Dominique Lecomte
omega-powers. CoRR (2024)
Olivier Finkel, Dominique Lecomte
Some complete ømega-powers of a one-counter language, for any Borel class of finite rank. Arch. Math. Log. 60 (1-2) (2021)
Olivier Finkel, Dominique Lecomte
Some complete ω-powers of a one-counter language, for any Borel class of finite rank. CoRR (2020)
Olivier Finkel, Dominique Lecomte
Descriptive Set Theory and ω-Powers of Finitary Languages. CoRR (2020)
Dominique Lecomte
A separation Result for Countable Unions of Borel Rectangles. J. Symb. Log. 84 (2) (2019)
Dominique Lecomte, Rafael Zamora
Injective tests of low complexity in the plane. Math. Log. Q. 65 (2) (2019)
Dominique Lecomte
Acyclicity and reduction. Ann. Pure Appl. Log. 170 (3) (2019)
Olivier Finkel, Olivier Carton, Dominique Lecomte
Polishness of some topologies related to word or tree automata. Log. Methods Comput. Sci. 15 (2) (2019)
Dominique Lecomte, Miroslav Zelený
Universal and complete sets in martingale theory. Math. Log. Q. 64 (4-5) (2018)
Olivier Finkel, Olivier Carton, Dominique Lecomte
Polishness of some topologies related to automata (Extended version). CoRR (2017)
Olivier Carton, Olivier Finkel, Dominique Lecomte
Polishness of Some Topologies Related to Automata. CSL (2017)
Olivier Finkel, Dominique Lecomte, Pierre Simonnet
An Upper Bound on the Complexity of Recognizable Tree Languages. CoRR (2015)
Olivier Finkel, Dominique Lecomte, Pierre Simonnet
An upper bound on the complexity of recognizable tree languages. RAIRO Theor. Informatics Appl. 49 (2) (2015)
Olivier Finkel, Dominique Lecomte
Classical and effective descriptive complexities of omega-powers. Ann. Pure Appl. Log. 160 (2) (2009)
Olivier Finkel, Dominique Lecomte
Decision problems for Turing machines. Inf. Process. Lett. 109 (23-24) (2009)
Olivier Finkel, Dominique Lecomte
Decision Problems For Turing Machines CoRR (2009)
Dominique Lecomte
How can we Recognize Potentially Subsets of the plane? J. Math. Log. 9 (1) (2009)
Olivier Finkel, Dominique Lecomte
Topological Complexity of omega-Powers: Extended Abstract. Topological and Game-Theoretic Aspects of Infinite Computations (2008)
Olivier Finkel, Dominique Lecomte
Topological Complexity of omega-Powers : Extended Abstract CoRR (2008)
Dominique Lecomte, Benjamin D. Miller
Basis theorems for non-Potentially closed Sets and graphs of uncountable Borel chromatic number. J. Math. Log. 8 (2) (2008)
Olivier Finkel, Dominique Lecomte
Classical and Effective Descriptive Complexities of omega-Powers CoRR (2007)
Dominique Lecomte, Olivier Finkel
There Exist some Omega-Powers of Any Borel Rank CoRR (2007)
Olivier Finkel, Dominique Lecomte
-Powers of Any Borel Rank. CSL (2007)
Dominique Lecomte
ω-powers and descriptive set theory. J. Symb. Log. 70 (4) (2005)