1
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... of Computing -- Complexity Theory I -- On Higher Arthur-Merlin Classes -- (2 + f(n))-SAT and Its Properties...