[Termtools] summary of the results in the certified competition

Frederic Blanqui frederic.blanqui at inria.fr
Fri Nov 21 09:27:35 CET 2008

Previous message: [Termtools] Termination Competition Results Queries
Next message: [Termtools] tpdb-5.0.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hello! I summarized the results of 2007 and 2008 on
http://color.loria.fr/comp.html.

Previous message: [Termtools] Termination Competition Results Queries
Next message: [Termtools] tpdb-5.0.1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list