Now showing items 1-1 of 1

    • Automatic presentations and semigroup constructions 

      Cain, Alan J.; Oliver, Graham; Ruskuc, Nik; Thomas, Richard M. (2010-08) - Journal article
      An automatic presentation for a relational structure is, informally, an abstract representation of the elements of that structure by means of a regular language such that the relations can all be recognized by finite ...