Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
Lingua predefinita
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Enrico Denti
Pubblicazioni
Nuvole
tag : formal models
tag : formal models
2 pubblicazioni / Enrico Denti
Labelled Variables in Logic Programming: Foundations
(CILC 2016) —
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Formal ReSpecT
(2001) —
Andrea Omicini, Enrico Denti
[
nuvola tag
/ Enrico Denti / pubblicazioni ]
0000-0003-1687-8793