Luc Dartois
From MaRDI portal
Person:2289071
Available identifiers
zbMath Open dartois.lucMaRDI QIDQ2289071
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| 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 |
| https://portal.mardi4nfdi.de/entity/Q5351956 | 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 | 2010-08-31 | Paper |
Research outcomes over time
This page was built for person: Luc Dartois
