July 2018 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Fri Jul 13 10:44:54 CEST 2018
Ending: Thu Jul 26 19:49:09 CEST 2018
Messages: 22

• [Termtools] Automatic pretty-printing of XTC files in Firefox?   Frédéric Blanqui
• [Termtools] Automatic pretty-printing of XTC files in Firefox?   Johannes Waldmann
• [Termtools] Automatic pretty-printing of XTC files in Firefox?   Thiemann, René
• [Termtools] Fwd: Fwd: Termination Competition 2018 - starts today 12:30 UTC   Johannes Waldmann
• [Termtools] Fwd: Termination Competition 2018 - starts today 12:30 UTC   Johannes Waldmann
• [Termtools] mail test   Johannes Waldmann
• [Termtools] mail test   Aart Middeldorp
• [Termtools] mail test   Cynthia Kop
• [Termtools] mail test   Makoto Hamana
• [Termtools] mail test   Cynthia Kop
• [Termtools] mail test   Makoto Hamana
• [Termtools] mail test   Makoto Hamana
• [Termtools] mail test   Akihisa Yamada
• [Termtools] next termcomp (April 2019), next WST (June/July 2020)   Johannes Waldmann
• [Termtools] semantics of higher order rewriting/termination?   Johannes Waldmann
• [Termtools] semantics of higher order rewriting/termination?   Cynthia Kop
• [Termtools] Termcomp 2018 - complexity category   Johannes Waldmann
• [Termtools] TermComp 2018 results   Akihisa Yamada
• [Termtools] TermComp 2018 results   Cynthia Kop
• [Termtools] TermComp 2018 results   Akihisa Yamada
• [Termtools] Termination Competition 2018 - starts today 12:30 UTC   Johannes Waldmann
• [Termtools] tool says YES but it's not counted   Johannes Waldmann

Last message date: Thu Jul 26 19:49:09 CEST 2018
Archived on: Thu Jul 26 19:49:17 CEST 2018

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...