Functionality

On Computability of Data Word Functions Defined by Transducers @ ETAPS 2021
We extend the correspondence between computability and continuity over regular functions to the case of data words.
Léo Exibard
Apr 1, 2021
PDF Slides Details
Computability of Data-Word Transductions over Different Data Domains (LMCS Special Issue dedicated to FoSSaCS 2020)
We extend the correspondence between computability and continuity over regular functions to the case of data words.
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
PDF Cite Slides Conference
On Computability of Data Word Functions Defined by Transducers @ HIGHLIGHTS 2020
We extend the correspondence between computability and continuity over regular functions to the case of data words.
Léo Exibard
Sep 17, 2020
PDF Poster Slides Video Details
On Computability of Data Word Functions Defined by Transducers @ MOVEP 2020
We extend the correspondence between computability and continuity over regular functions to the case of data words.
Léo Exibard
Jun 25, 2020
PDF Slides Video Details
On Computability of Data Word Functions Defined by Transducers (FoSSaCS 2020)
We extend the correspondence between computability and continuity over regular functions to the case of data words.
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
PDF Cite Poster Slides Video DOI Journal Short video