tag : formal models

2 publications / Enrico Denti
page_white_acrobat Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
page_white_acrobat Formal ReSpecT (2001) — Andrea Omicini, Enrico Denti
[ tag cloud  /  Enrico Denti  /  publications ]