Audrey Curnock, John Howroyd and Ngai-Ching Wong.
Isometries of affine function spaces,
in preparation.
Sebastian Danicic, Mark Harman, Rob Hierons, John Howroyd and
Mike Laurence. Deciding Equivalence for Schemas that are
Conservative, Free and Linear,
in preparation.
Sebastian Danicic, Mark Harman, Rob Hierons, John Howroyd and
Mike Laurence. Current slicing algorithms are minimal for Linear,
Free and Liberal schemas,
in preparation.