1
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... -- A Note on Blum Static Complexity Measures -- A Program-Size Complexity Measure for Mathematical...