July 2016 Archives by author

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

Starting: Sat Jul 9 14:49:00 CEST 2016
Ending: Sat Jul 30 14:01:46 CEST 2016
Messages: 3

• [Termtools] Termination Competition 2016: Call for Participation   Juergen Giesl
• [Termtools] ANNOUNCEMENT: CeTA-2.27 available as postprocessor on starexec   Johannes Waldmann
• [Termtools] termcomp 2016 solver submissions   Johannes Waldmann

Last message date: Sat Jul 30 14:01:46 CEST 2016
Archived on: Sat Jul 30 14:01:50 CEST 2016

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