[Back]


Books and Book Editorships:

A. Beckmann, J Johannsen:
"Bounded Arithmetic and Resolution-Based Proof Systems";
Kurt Gödel Society, Wien, 2004, ISBN: 3-901546-02-2; 130 pages.


Created from the Publication Database of the Vienna University of Technology.