Format of the termination problems of the TPDB

[Albert Rubio]

Dear all,

You have received this message as memeber of the commission we agreed
to create in Valencia, in order to discuss questions relative to the
termination problems data base (TPDB) and the termination competition.

I've enclosed a document about the format for the termination problems
that will be kept in the TPDB, and will be used in the following
termination competition.

As in Valencia, we will keep using Prolog syntax for LP-problems. In
the document you will find a proposal for the TRS-problems syntax. It
is mainly inspired by what we discussed in Valencia. We, Claude Marche
and me, have been working a bit on it before obtaining a complete
proposal to send you.

Since the document follows our agreements in Valencia probably there
will not be much discussion. Still, we need you to agree on the
proposed format and to comment and finally vote for one of the two
options for the syntax of the rules (in this respect we did not find
an easy agreement so we thought it was better to leave it for your
consideration).

In order to make this format public soon, it is better if we take a
decission through this week. So, comments are welcome.

Regards,

Albert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: format.ps
Type: application/postscript
Size: 58255 bytes
Desc: format.ps
Url : http://lists.lri.fr/pipermail/termtools/attachments/20031104/a7e18995/format.ps