(Un)decidability, automata and algorithmic complexity
Presentazione Corso:
Coordinatore:
Dario Catalano
Docenti:
Domenico Cantone (Università di Catania)
Eugenio Omodeo (Università di Trieste)
Alberto Policriti (Università di Udine)
Calendario/docente:
Alberto Policriti: 16 settembre ore 10 -13; 17 settembre oe 9-11; 18 settembre ore 9-11; 19 settembre ore 9-12
Eugenio Omodeo: 16 settembre ore 16-18:;17 settembre ore 15-17; 18 settembre ore 15-17; 19 settembre ore 15-17