Cover Image
Read Now

1
Published 2014
Birkhäuser
“... identity testing, the isomorphism conjecture, space-bounded computation, graph isomorphism, resolution...”