Tag Clouds
Tag Clouds
0
documents
/
tag : formal models
/
2P-Kt
1
document
/
tag : formal models
/
tuProlog
Labelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini