Marco Calautti
Research Associate
Computer science
The University of Edinburgh
United Kingdom
Biography
Marco Calautti Position Research Associate Roles Member of Laboratory for Foundations of Computer Science
Research Interest
Computer science and bioinformatics
Publications
-
An Operational Approach to Consistent Query Answering
-
Using linear constraints for logic program termination analysis
-
Exploiting Equality Generating Dependencies in Checking Chase Termination
