| |
| 2008 | ||
|---|---|---|
| 5 | EE | Evan Goris: Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic. Theory Comput. Syst. 43(2): 185-203 (2008) |
| 2007 | ||
| 4 | EE | Evan Goris: Explicit Proofs in Formal Provability Logic. LFCS 2007: 241-253 |
| 2006 | ||
| 3 | EE | Evan Goris: Logic of Proofs for Bounded Arithmetic. CSR 2006: 191-201 |
| 2005 | ||
| 2 | EE | Evan Goris, Maarten Marx: Looping Caterpillars. LICS 2005: 51-60 |
| 1 | Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke: PDL for Ordered Trees. Journal of Applied Non-Classical Logics 15(2): 115-135 (2005) | |
| 1 | Loredana Afanasiev | [1] |
| 2 | Patrick Blackburn | [1] |
| 3 | Ioanna Dimitriou | [1] |
| 4 | Bertrand Gaiffe | [1] |
| 5 | Maarten Marx | [1] [2] |
| 6 | Maarten de Rijke | [1] |