| |
| 2005 | ||
|---|---|---|
| 4 | EE | Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort: A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic. J. Log. Comput. 15(4): 447-463 (2005) |
| 2003 | ||
| 3 | Donald A. Martin, Itay Neeman, Marco Vervoort: The strength of Blackwell determinacy. J. Symb. Log. 68(2): 615-636 (2003) | |
| 2002 | ||
| 2 | EE | Pieter W. Adriaans, Marco Vervoort: The EMILE 4.1 Grammar Induction Toolbox. ICGI 2002: 293-295 |
| 2000 | ||
| 1 | EE | Pieter W. Adriaans, Marten Trautwein, Marco Vervoort: Towards High Speed Grammar Induction on Large Text Corpora. SOFSEM 2000: 173-186 |
| 1 | Pieter W. Adriaans | [1] [2] |
| 2 | Lev D. Beklemishev | [4] |
| 3 | Joost J. Joosten | [4] |
| 4 | Donald A. Martin | [3] |
| 5 | Itay Neeman | [3] |
| 6 | Marten Trautwein | [1] |