Dominique Lecomte

According to our database, Dominique Lecomte authored at least 19 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Some complete ømega-powers of a one-counter language, for any Borel class of finite rank.

Olivier Finkel, Dominique Lecomte

Arch. Math. Log., 2021

2020

Descriptive Set Theory and ω-Powers of Finitary Languages.

Olivier Finkel, Dominique Lecomte

CoRR, 2020

Some complete ω-powers of a one-counter language, for any Borel class of finite rank.

Olivier Finkel, Dominique Lecomte

CoRR, 2020

2019

Injective tests of low complexity in the plane.

Dominique Lecomte, Rafael Zamora

Math. Log. Q., 2019

Polishness of some topologies related to word or tree automata.

Olivier Finkel, Olivier Carton, Dominique Lecomte

Log. Methods Comput. Sci., 2019

A separation Result for Countable Unions of Borel Rectangles.

Dominique Lecomte

J. Symb. Log., 2019

Acyclicity and reduction.

Dominique Lecomte

Ann. Pure Appl. Log., 2019

2018

Universal and complete sets in martingale theory.

Dominique Lecomte, Miroslav Zelený

Math. Log. Q., 2018

2017

Polishness of some topologies related to automata (Extended version).

Olivier Finkel, Olivier Carton, Dominique Lecomte

CoRR, 2017

Polishness of Some Topologies Related to Automata.

Olivier Carton, Olivier Finkel, Dominique Lecomte

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2015

An upper bound on the complexity of recognizable tree languages.

Olivier Finkel, Dominique Lecomte, Pierre Simonnet

RAIRO Theor. Informatics Appl., 2015

2009

How can we Recognize Potentially Subsets of the plane?

Dominique Lecomte

J. Math. Log., 2009

Decision problems for Turing machines.

Olivier Finkel, Dominique Lecomte

Inf. Process. Lett., 2009

Classical and effective descriptive complexities of omega-powers.

Olivier Finkel, Dominique Lecomte

Ann. Pure Appl. Log., 2009

2008

Basis theorems for non-Potentially closed Sets and graphs of uncountable Borel chromatic number.

Dominique Lecomte, Benjamin D. Miller

J. Math. Log., 2008

Topological Complexity of omega-Powers: Extended Abstract.

Olivier Finkel, Dominique Lecomte

Proceedings of the Topological and Game-Theoretic Aspects of Infinite Computations, 29.06., 2008

2007

There Exist some Omega-Powers of Any Borel Rank

Dominique Lecomte, Olivier Finkel

CoRR, 2007

There Exist Some <i>omega</i> -Powers of Any Borel Rank.

Olivier Finkel, Dominique Lecomte

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2005

ω-powers and descriptive set theory.

Dominique Lecomte

J. Symb. Log., 2005