Marco Vervoort

According to our database, Marco Vervoort authored at least 4 papers between 2000 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2005

A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic.

Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort

J. Log. Comput., 2005

2003

The strength of Blackwell determinacy.

Donald A. Martin, Itay Neeman, Marco Vervoort

J. Symb. Log., 2003

2002

The EMILE 4.1 Grammar Induction Toolbox.

Pieter W. Adriaans, Marco Vervoort

Proceedings of the Grammatical Inference: Algorithms and Applications, 2002

2000

Towards High Speed Grammar Induction on Large Text Corpora.

Pieter W. Adriaans, Marten Trautwein, Marco Vervoort

Proceedings of the SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25, 2000