Search alternatives:
complex analysis » component analysis

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: ...Refined Complexity Analysis of Cut Elimination -- Comparing the Succinctness of Monadic Query...

2
by Baaz, Matthias, Leitsch, Alexander
Published 2011
Springer Netherlands
.... It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents...