Publication:3053106

zbMath1219.20038MaRDI QIDQ3053106

Christophe Tollu, Laurent Poinsot, Gérard H. E. Duchamp

Publication date: 4 November 2010

Full work available at URL: http://www.scientificadvances.org/journals2P5.htm

zbMATH Keywords

confluence; associativity; normal form theorems; string rewriting systems; partial monoids

Mathematics Subject Classification ID

20M05: Free semigroups, generators and relations, word problems

20M35: Semigroups in automata theory, linguistics, etc.

68Q42: Grammars and rewriting systems

08A55: Partial algebras

20N02: Sets with a single binary operation (groupoids)