Sciweavers

61
Voted
FSTTCS
1998
Springer
15 years 3 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