Solving Trace Equations Using Lexicographical Normal Forms.

Volker Diekert, Yuri V. Matiyasevich, Anca Muscholl

Browse the full ICALP paper archive.