Search results
From Termination-Portal.org
Jump to navigationJump to search
Page title matches
- |firstname= Dean |lastname= Voets627 bytes (96 words) - 08:05, 19 May 2009
Page text matches
- |firstname= Dean |lastname= Voets627 bytes (96 words) - 08:05, 19 May 2009
- author = {Dean Voets and Danny De Schreye},573 bytes (77 words) - 15:29, 5 July 2010
- author = {Dean Voets and Danny De Schreye},764 bytes (106 words) - 15:22, 5 July 2010
- |homepage=http://www.cs.kuleuven.be/~dean/pTNT.html |developers=Dean Voets and Danny De Schreye900 bytes (134 words) - 15:33, 5 July 2010