tag : formal models

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