Sciweavers

14
Voted
FSTTCS
1998
Springer
13 years 11 months ago
On the Confluence of Trace Rewriting Systems
In [NO88], a particular trace monoid M is constructed such that for the class of length
Markus Lohrey