IMDEA Software

Iniciativa IMDEA

noticias y eventos

10 de septiembre de 2020

El trabajo fue presentado en el Haskell Implementors’ Workshop (HIW 2020) en ICFP 2020

31 de agosto de 2020

Presentan una nueva operación de residualización y una versión general del método de Brzozowski para construir el autómata residual mínimo para un lenguaje dado

28 de agosto de 2020

Construyen esquemas de intercambio de secretos no maleables y seguros contra los atacantes

30 de julio de 2020

Usa preórdenes para dar un nuevo enfoque a dos problemas fundamentales en la Teoría de Lenguajes Formales

actualidad

empleo