Search results
From Termination-Portal.org
Jump to navigationJump to search
Page title matches
- 234 bytes (34 words) - 06:31, 2 November 2008
Page text matches
- * Joerg Endrullis: I agree with Joerg that apart from these TRSs where full termination has not already been prov4 KB (635 words) - 17:27, 25 November 2008
- |homepage=http://joerg.endrullis.de/ |developers=Joerg Endrullis524 bytes (80 words) - 17:29, 13 May 2009