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

Géraud Sénizergues Armin Weiß

Published in: ICALP (2018)

Keyphrases

databases
neural network
finite number
graph theory
data sets
information retrieval
collaborative learning
default logic
group members
default theories
mazurkiewicz traces