Computational Consequences and Partial Solutions of a Generalized Unification Problem (Partial Report)

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Browse the full LICS paper archive.