Dear all, In order to make the TermCOMP 2022 'demo' category of termination of CTRSs more attractive, we submitted a new collection of oriented CTRSs from COPS. We did not provide any suggestion of name for the collection. Thus, for TermCOMP 2022 I see that it has been named Gutierrez_22 (Raúl submitted the collection of examples). Perhaps COPS_oriented22 would be more appropriate as it recognizes the real origin of the examples. It is not a big problem, but I think better to update the name of the collection. Sorry for not proposing the name of the collection in time. Best regards, Salvador.
Dear all, I asked Salvador to raise this on the list, because I can't now think about the question: what should the TPDB naming rule be? Best, Akihisa On 7/27/2022 5:33 PM, Salvador Lucas wrote:
Dear all,
In order to make the TermCOMP 2022 'demo' category of termination of CTRSs more attractive, we submitted a new collection of oriented CTRSs from COPS.
We did not provide any suggestion of name for the collection. Thus, for TermCOMP 2022 I see that it has been named Gutierrez_22 (Raúl submitted the collection of examples).
Perhaps COPS_oriented22 would be more appropriate as it recognizes the real origin of the examples. It is not a big problem, but I think better to update the name of the collection.
Sorry for not proposing the name of the collection in time.
Best regards,
Salvador.
_______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de
participants (2)
-
Salvador Lucas -
YAMADA, Akihisa