[Termination tools] problem database for logic programs?

[slucas at dsic.upv.es]

Mensaje citado por Claude Marche <Claude.Marche at lri.fr>:

> There is no deadline for sending new problems to be added to the TPDB,
> it can be done at any time. 

Should I also explicitly send the two collections of problems
I sent you to the list?

Regards,

Salvador.



-------------------------------------------------
This mail sent through IMP: http://horde.org/imp/