co-autore : Agostino Dovier

3 pubblicazioni con Andrea Omicini
page_white_acrobat Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae, 2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
page_white_acrobat Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
page_white_acrobat Preface: Volume 48 (Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000, 2001) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
[ Nuvola dei co-autori  /  Andrea Omicini  /  pubblicazioni ]