Dominique Lecomte

24 papers B 2Journal 21Unranked 1

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