Luc Dartois

Available identifiers

zbMath Open dartois.lucMaRDI QIDQ2289071

List of research outcomes

Publication	Date of Publication	Type
Efficient construction of reversible transducers from regular transducer expressions	2024-12-06	Paper
Logics for word transductions with synthesis	2021-01-20	Paper
On reversible transducers	2020-05-27	Paper
Two-way Parikh automata with a visibly pushdown stack	2020-01-28	Paper
Aperiodic string transducers	2018-09-20	Paper
Two-way visibly pushdown automata and transducers	2018-04-23	Paper
Aperiodic two-way transducers and FO-transductions	2017-08-31	Paper
Two-variable first order logic with modular predicates over words	2017-01-30	Paper
Aperiodic string transducers	2016-08-30	Paper
Alternation hierarchies of first order logic with regular predicates	2015-09-29	Paper
Rankers over infinite words (extended abstract)	2010-08-31	Paper

Research outcomes over time

This page was built for person: Luc Dartois