Thomas Thierauf

The computational complexity of equivalence and isomorphism problems