| 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 |
