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
Andrea Omicini
Pubblicazioni
Nuvole
co-autore : Agostino Dovier
co-autore : Agostino Dovier
3 pubblicazioni con Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics
(Fundamenta Informaticae, 2018) —
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Labelled Variables in Logic Programming: Foundations
(CILC 2016) —
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
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 ]
0000-0002-6655-3869