Search results

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