Efficient Algorithms for Computing Modulo Permutation Theories.

Jrgen Avenhaus

Browse the full CADE paper archive.