Francesco Dagnino

Dottorando

Indirizzo Via Dodecaneso, 35 - 16146 Genova
Ufficio 309
E-mail
Telefono ufficio (+39) 010353 - 6709
Corso di dottorato DOTTORATO DI RICERCA INFORMATICA E INGEGNERIA DEI SISTEMI/ COMPUTER SCIENCE AND SYSTEMS ENGINEERING
Ciclo di dottorato XXXIII
Tutor(s) Davide Ancona, Elena Zucca

Publications

[1] Davide Ancona, Francesco Dagnino and Elena Zucca (2017). Reasoning on divergent computations with coaxioms. In Proceedings of ACM on Programming Languages 1 (OOPSLA), pp 81:1 - 81:26, ACM

[2] Davide Ancona, Francesco Dagnino and Elena Zucca (2017). Extending Coinductive Logic Programming with Co-Facts. In Proceedings of the 1st Workshop on Coalgebra, Horn Clause Logic Programming and Types, Electronic Proceedings in Theoretical Computer Science 258, pp 1 - 18

[3] Davide Ancona, Francesco Dagnino and Elena Zucca (2017). Generalizing Inference Systems by Coaxioms. In Programming Languages and Systems - 26th European Symposium on Programming, Lecture Notes in Computer Science 10201, pp 29 - 55, Springer

[4] Davide Ancona, Francesco Dagnino and Elena Zucca (2016). Towards a model of corecursion with default. In Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, pp 9 - 14, ACM

Sei qui: Home

Questo sito usa i cookie.