2 search results - page 1 / 1 » Partial monoids: associativity and confluence |
113
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
A partial monoid P is a set with a partial multiplication
129
click to vote
CORR
2006
Springer
15 years 3 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...