Search results

From Termination-Portal.org
Jump to navigationJump to search
Results 1 – 2 of 2
Advanced search

Search in namespaces:

  
  
  
  
  
  
  
  
 
 
 
 

  • Outermost
    * 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
  • Tools:Jambox
    |homepage=http://joerg.endrullis.de/ |developers=Joerg Endrullis
    524 bytes (80 words) - 17:29, 13 May 2009
Retrieved from "http://termination-portal.org/wiki/Special:Search"