CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Calegari Roberta
Latest
Extending logic programming with labelled variables: Model and semantics
Labelled variables in logic programming: Foundations
Cite
×