2 search results - page 1 / 1 » Partial monoids: associativity and confluence |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
A partial monoid P is a set with a partial multiplication
CORR
2006
Springer
13 years 4 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...