Formal languages and automata theory

Ugo Solitro
Assistant Professor
Margherita Zorzi
Associate Professor
Research interests
Topic People Description
Teoria della dimostrazione e teoria dei tipi Ugo Solitro
Margherita Zorzi
Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare

Activities

Research facilities

Share