Search results

From Termination-Portal.org
Jump to navigationJump to search

Page title matches

  • People:Dean Voets
    |firstname= Dean |lastname= Voets
    627 bytes (96 words) - 08:05, 19 May 2009

Page text matches

  • People:Dean Voets
    |firstname= Dean |lastname= Voets
    627 bytes (96 words) - 08:05, 19 May 2009
  • Bibtex:VDS10
    author = {Dean Voets and Danny De Schreye},
    573 bytes (77 words) - 15:29, 5 July 2010
  • Bibtex:VDS09
    author = {Dean Voets and Danny De Schreye},
    764 bytes (106 words) - 15:22, 5 July 2010
  • Tools:PTNT
    |homepage=http://www.cs.kuleuven.be/~dean/pTNT.html |developers=Dean Voets and Danny De Schreye
    900 bytes (134 words) - 15:33, 5 July 2010
Retrieved from "http://termination-portal.org/wiki/Special:Search"