CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Labelled variables in logic programming: Foundations
Roberta Calegari
,
Enrico Denti
,
Agostino Dovier
,
Andrea Omicini
2016-01-01
Cite
URL
Type
Conference paper
Publication
CEUR Workshop Proceedings
Computer Science (all)
Related
Towards user recognition by shallow web traffic inspection
Deciding hedged bisimilarity
Deciding weak weighted bisimulation
Extending logic programming with labelled variables: Model and semantics
The kth nearest neighbor method for estimation of entropy changes from molecular ensembles
Cite
×