Efficient algorithms for highly compressed data: The Word Problem in Higman's group is in P

From MaRDI portal
Publication:2904763