[Termination tools] termination competition

Salvador Lucas slucas at dsic.upv.es
Wed Mar 23 12:04:02 CET 2005

Previous message: [Termination tools] termination competition
Next message: [Termination tools] Competition on Logic Programs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]


H. Zantema wrote:

>keep the LP category in TPDB.  What do you think?
>
I fully agree with this.

Best regards,

Salvador.

Previous message: [Termination tools] termination competition
Next message: [Termination tools] Competition on Logic Programs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list