Johan Girardot

dblp:392/2406 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2026
0009-0005-2056-8730ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021
YearPublicationVenuePosition
2026 Toward higher-order infinite time Turing machines: simulational Γ-machines
Olivier Bournez, Olivier Finkel, Johan Girardot
Ann. Pure Appl. Log.3
2026 Some regular ω-powers in the Hausdorff-Kuratowski hierarchy
abstract
Fix a finite alphabet Σ having at least two letters, and an arbitrary natural number n . We denote by D n ( Π 2 0 ) the class of differences of n Π 2 0 subsets of the Cantor space Σ ω , and by D n − ( Π 2 0 ) the class of complements of sets in D n ( Π 2 0 ) . We prove the existence of finitary regular languages U n and V n such that ( U n ) ω is D 2 n + 1 ( Π 2 0 ) -complete and ( V n ) ω is D 2 n + 2 − ( Π 2 0 ) -complete.
Olivier Finkel, Johan Girardot, Dominiquelecomte
Theor. Comput. Sci.2