Search results

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

Search in namespaces:

  
  
  
  
  
  
  
  
 
 
 
 

Page title matches

  • Tools:IsaFoR
    |shortname=IsaFoR
    689 bytes (101 words) - 12:44, 9 April 2010

Page text matches

  • WScT
    * [[Tools:IsaFoR|the IsaFoR/CeTA project]]
    1,005 bytes (141 words) - 09:57, 29 September 2009
  • Tools:IsaFoR
    |shortname=IsaFoR
    689 bytes (101 words) - 12:44, 9 April 2010
Retrieved from "http://termination-portal.org/wiki/Special:Search"