Marco Calautti
Research Associate
Informatics
The University of Edinburgh
United Kingdom
Biography
Marco Calautti Position Research Associate Roles Member of Laboratory for Foundations of Computer Science
Research Interest
Informatics
Publications
-
Leveraging Equality Generating Dependencies for Chase Termination
-
Using linear constraints for logic program termination analysis
-
Exploiting Equality Generating Dependencies in Checking Chase Termination
