Deciding embeddability of partial groupoids into semigroups

[1]  S. Adjan,et al.  Defining Relations and Algorithmic Problems for Groups and Semigroups , 1967 .

[2]  Daniel E. Cohen.  Geometric Group Theory: String Rewriting — A Survey for Group Theorists , 1993 .

[3]  Peter M. Higgins,et al.  Techniques of semigroup theory , 1991 .

[4]  John Meakin,et al.  The fundamental four-spiral semigroup , 1978 .

[5]  M. Gromov.  Geometric group theory , 1996 .

[6]  On semigroups and uniform partial bands , 1972 .

[7]  The fundamental representation of a regular semigroup , 1975 .

[8]  H. Keisler,et al.  Handbook of mathematical logic , 1977 .

[9]  D. Knuth,et al.  Simple Word Problems in Universal Algebras , 1983 .

[10]  Reinhold Baer.  Free Sums of Groups and Their Generalizations III , 1950 .

[12]  D. Dekov.  The embedding of semigroup amalgams , 1991 .

[13]  Frank Rimlinger.  Pregroups and Bass-Serre Theory , 1987 .

[14]  T. Hall,et al.  Free products with amalgamation of inverse semigroups , 1975 .

[15]  P. M. Cohn,et al.  THE METAMATHEMATICS OF ALGEBRAIC SYSTEMS , 1972 .

[16]  Roger C. Alperin.  Arboreal Group Theory , 1991 .

[17]  D. Dekov.  The class of all $S$-pregroups is not finitely axiomatizable , 1992 .

[18]  S. Hermiller.  Rewriting systems for Coxeter groups , 1994 .

[19]  Trevor Evans,et al.  The Word Problem for Abstract Algebras , 1951 .

[20]  George Gratzer,et al.  Universal Algebra , 1979 .

[21]  A remark about the description of free products of groups , 1966 .

[22]  D. Dekov.  HNN extensions of semigroups , 1994 .

[23]  Deko V. Dekov,et al.  Embeddability and the word problem , 1995, Journal of Symbolic Logic.

[24]  B. Neumann,et al.  An essay on free products of groups with amalgamations , 1954, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[25]  Stanley P. Gudder.  Partial algebraic structures associated with orthomodular posets. , 1972 .

[26]  T. Evans.  Some Solvable Word Problems , 1980 .

[27]  Philippe le Chenadec.  Canonical forms in finitely presented algebras , 1984, Research notes in theoretical computer science.

[28]  A. Clifford,et al.  The algebraic theory of semigroups , 1964 .

[29]  Michael M. Richter,et al.  Systems of Reductions , 1987, Lecture Notes in Computer Science.

[30]  H. Brown,et al.  Computational Problems in Abstract Algebra , 1971 .

[31]  R. Baer,et al.  Free Sums of Groups and Their Generalizations. An Analysis of the Associative Law , 1949 .

[32]  D. Dekov.  Free products with amalgamation of semigroups , 1993 .

[33]  J. Howie.  An introduction to semigroup theory , 1976 .

[34]  Trevor Evans,et al.  Embeddability and the Word Problem , 1953 .

[35]  M. Newman.  On Theories with a Combinatorial Definition of "Equivalence" , 1942 .