Marco Vervoort

Publication Activity (10 Years)

Years Active: 2000-2005
Publications (10 Years): 0

Publications

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) (2005)
Donald A. Martin, Itay Neeman, Marco Vervoort
The strength of Blackwell determinacy. J. Symb. Log. 68 (2) (2003)
Pieter W. Adriaans, Marco Vervoort
The EMILE 4.1 Grammar Induction Toolbox. ICGI (2002)
Pieter W. Adriaans, Marten Trautwein, Marco Vervoort
Towards High Speed Grammar Induction on Large Text Corpora. SOFSEM (2000)