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 prov
    4 KB (635 words) - 17:27, 25 November 2008
  • |homepage=http://joerg.endrullis.de/ |developers=Joerg Endrullis
    524 bytes (80 words) - 17:29, 13 May 2009