Formal languages and automata theory

  1. Home
  2. Research
  3. Research areas
  4. 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