Formal languages and automata theory

Ugo Solitro
Ricercatore
Margherita Zorzi
Ricercatore a tempo determinato
Competenze
Argomento Persone Descrizione
Teoria della dimostrazione e teoria dei tipi Ugo Solitro
Margherita Zorzi
Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare

Attività

Strutture

Condividi