[Back]


Talks and Poster Presentations (without Proceedings-Entry):

A. Beckmann:
"Viewing proofs in bounded arithmetic as programs";
Talk: Paris-Vienna Workshop 2004 on Proof Systems, Paris; 2004-12-13 - 2004-12-14.


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