Decidable Problems in Shallow Equational Theories (Extended Abstract)

Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud

Browse the full LICS paper archive.