CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Towards a Logic Programming Tool for Cancer Analysis
Alice Tarzariol
,
Agostino Dovier
,
Alberto Policriti
2017-01-01
Cite
Type
Conference paper
Publication
Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic
Related
Towards a Logic Programming Tool for Cancer Data Analysis
Logic programming applied to genome evolution in cancer?
Module Identification Using Biological Constraints
Solvable set/hyperset contexts: II. A goal driven unification algorithm for the blended case
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm
Cite
×