[Termtools] Termcomp 2018 - complexity category

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Fri Jul 13 15:22:18 CEST 2018

Previous message: [Termtools] Fwd: Fwd: Termination Competition 2018 - starts today 12:30 UTC
Next message: [Termtools] TermComp 2018 results
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

From: Akihisa Yamada

Dear all,

there is a problem in the presentation of complexity category... I'm
sorry and investigating.

Best,
Akihisa

Previous message: [Termtools] Fwd: Fwd: Termination Competition 2018 - starts today 12:30 UTC
Next message: [Termtools] TermComp 2018 results
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list