The SCEAS System
Navigation Menu

Search the dblp DataBase


Marco Vervoort: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.001secs, Finished in 0.001secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002