Search results
From Termination-Portal.org
Jump to navigationJump to search
- * 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