David Steiner

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

David Steiner, Thomas Studer
Total Public Announcements. LFCS (2007)
David Steiner, Thomas Strahm
On the proof theory of type two functionals based on primitive recursive operations. Math. Log. Q. 52 (3) (2006)