Volker Diekert
-
Confluence problems for trace rewriting systems
Information and Computation
Efficient computation in groups via compression
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications