1
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- Towards a Predictive Computational Complexity Theory -- Equivariant Syntax and Semantics -- L(A) = L(B...