Now showing items 1-2 of 2

  • Subalgebras of FA-presentable algebras 

    Cain, A.J.; Ruskuc, Nik (2014-06) - Journal article
    Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable ...
  • 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 ...