The Isomorphism Problem for Finite Extensions of Free Groups Is In PSPACE

Géraud Sénizergues, Armin Weiß. The Isomorphism Problem for Finite Extensions of Free Groups Is In PSPACE. In Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella, editors, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic. Volume 107 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Abstract

Abstract is missing.