Now showing items 1-2 of 2

  • Graph automatic semigroups 

    Carey, Rachael Marie (University of St Andrews, 2016-06-24) - Thesis
    In this thesis we examine properties and constructions of graph automatic semigroups, a generalisation of both automatic semigroups and finitely generated FA-presentable semigroups. We consider the properties of graph ...
  • Unary FA-presentable semigroups 

    Cain, Alan James; Ruskuc, Nik; Thomas, R.M. (2012-06-08) - Journal article
    Automatic presentations, also called FA-presentations, were introduced to extend nite model theory to innite structures whilst retaining the solubility of interesting decision problems. A particular focus of research has ...