Recompression: New Approach to Word Equations and Context Unification (Invited Talk).

Artur Jez

Browse the full STACS paper archive.