PCC '06 / 5th International Workshop on Proof, Computation, Complexity, Ilmenau, July 24 - 25, 2006.

Abstract

Abstract is not available.

    Similar works