Solving Inequations in Term Algebras (Extended Abstract)

Hubert Comon

Browse the full LICS paper archive.