Edinburgh Research Explorer

Dr. Alan Smaill

Senior Lecturer

Phone: +44 (0) 131 650 2710

Research outputs

  1. Patterns of Design

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

  2. ABC Repair System for Datalog-like Theories

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

  3. Theory blending: extended algorithmic aspects and examples

    Research output: Contribution to journalArticle

View all (96) »

ID: 5284