2021-04-19
accenti
Francesco Mecca committed 1 day ago
presentazione ita
Francesco Mecca committed 1 day ago
presentazione ita
Francesco Mecca committed 1 day ago
2021-04-18
altra revisione
Francesco Mecca committed 2 days ago
2021-04-17
lunga ma tutto
Francesco Mecca committed 2 days ago
checkpoint
Francesco Mecca committed 3 days ago
2021-04-16
inviato bozza
Francesco Mecca committed 3 days ago
presentazione, inizio lavori
Francesco Mecca committed 3 days ago
2021-04-12
upload 13/04
Francesco Mecca committed 7 days ago
dichiarazione originalita`
Francesco Mecca committed 7 days ago
2021-03-26
mandato bozza ai relatori
Francesco Mecca committed 25 days ago
2021-03-20
extended abstract
Francesco Mecca committed on 20 Mar
pre abstract
Francesco Mecca committed on 20 Mar
nella speranza che la dimostrazione sia abbastanza giusta
Francesco Mecca committed on 20 Mar
2021-03-18
thank you senpai Coppo
Francesco Mecca committed on 18 Mar
parte correzioni
Francesco Mecca committed on 18 Mar
2021-03-05
nuova mail
Francesco Mecca committed on 5 Mar
prima della riscrittura dei remarks
Francesco Mecca committed on 5 Mar
2021-03-04
forza e coraggio
Francesco Mecca committed on 4 Mar
correctness statement
Francesco Mecca committed on 4 Mar
2021-03-03
more tesi
Francesco Mecca committed on 3 Mar
2021-03-02
forza!
Francesco Mecca committed on 2 Mar
2021-01-27
consegna Coppo
Francesco Mecca committed on 27 Jan
ultimissima dimostrazione
Francesco Mecca committed on 27 Jan
2021-01-26
table of contents e pagina iniziale
Francesco Mecca committed on 26 Jan
postposto l'indice
Francesco Mecca committed on 26 Jan
formattazione
Francesco Mecca committed on 26 Jan
prima parte source proof
Francesco Mecca committed on 26 Jan
decision trees
Francesco Mecca committed on 26 Jan
2021-01-25
equivalence checking
Francesco Mecca committed on 25 Jan