| |
| 2007 | ||
|---|---|---|
| 2 | EE | David Steiner, Thomas Studer: Total Public Announcements. LFCS 2007: 498-511 |
| 2006 | ||
| 1 | EE | David Steiner, Thomas Strahm: On the proof theory of type two functionals based on primitive recursive operations. Math. Log. Q. 52(3): 237-252 (2006) |
| 1 | Thomas Strahm | [1] |
| 2 | Thomas Studer | [2] |