Dr Ian Pratt-Hartmann

Senior Lecturer

Full contact details
View graph of relations

Student Theses

  1. 2017
  2. Information Flow in Spatial Models of Computation

    Author: Razavi, J., 1 Aug 2017

    Supervisor: Schalk, A. (Supervisor) & Pratt-Hartmann, I. (Supervisor)

    UoM administered thesis: Phd

  3. Path-Functional Dependencies and the Two-Variable Guarded Fragment with Counting

    Author: Kourtis, G., 1 Aug 2017

    Supervisor: Pratt-Hartmann, I. (Supervisor) & Schmidt, R. (Supervisor)

    UoM administered thesis: Phd

  4. 2012
  5. An Axiom System for a Spatial Logic with Convexity

    Author: Trybus, A., 1 Aug 2012

    Supervisor: Pratt-Hartmann, I. (Supervisor)

    UoM administered thesis: Phd

  6. Computability of Euclidean Spatial Logics

    Author: Nenov, Y., 31 Jul 2012

    Supervisor: Pratt-Hartmann, I. (Supervisor)

    UoM administered thesis: Phd

  7. 2011
  8. AN INVESTIGATION INTO COMMONSENSE REASONING

    Author: Jabbary Aslany, F., 1 Aug 2011

    Supervisor: Pratt-Hartmann, I. (Supervisor)

    UoM administered thesis: Master of Philosophy