Edinburgh Research Explorer

Mr. Marco Calautti

Research Associate

Research outputs

  1. Exploiting Equality Generating Dependencies in Checking Chase Termination

    Research output: Contribution to journalArticle

  2. Using linear constraints for logic program termination analysis

    Research output: Contribution to journalArticle

  3. An Operational Approach to Consistent Query Answering

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (13) »

ID: 28210398