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
Solving the medical student scheduling problem using simulated annealing
Cite
×