[Termtools] another bunch of small hard SRS problems

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Tue Mar 6 11:27:17 CET 2007

Previous message: [Termtools] another bunch of small hard SRS problems
Next message: [Termtools] Second Call for papers - Workshop on Termination (WST 2007) - Paris
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Johannes Waldmann wrote:
> Here is the list of 335 SRS ...

but where is it? Here:
http://dfa.imn.htwk-leipzig.de/matchbox/new-problems/
http://dfa.imn.htwk-leipzig.de/matchbox/new-problems/srs-2007-02-28/

sorry,
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------

Previous message: [Termtools] another bunch of small hard SRS problems
Next message: [Termtools] Second Call for papers - Workshop on Termination (WST 2007) - Paris
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list