Cécilia Pradic

Un estudio sobre autómatas implícitos y lógica afín para la transformación de cadenas.

Examinando las relaciones y la complejidad de los grados de Weihrauch a través de la teoría ecuacional.

Analizando las conexiones entre los problemas de Weihrauch y los juegos de Büchi en la informática.