[Termtools] Fwd: Fwd: Termination Competition 2018 - starts today 12:30 UTC

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

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

From: Akihisa Yamada

It's now running :)

http://group-mmm.org/termination/competitions/21

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

More information about the Termtools mailing list