31 search results - page 2 / 7 » On the Confluence of Trace Rewriting Systems |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
A partial monoid P is a set with a partial multiplication
CORR
2006
Springer
13 years 7 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...
CTRS
1987
13 years 11 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
RTA
2000
Springer
13 years 11 months ago
2000
Springer
RTA
2010
Springer
13 years 11 months ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...