June 2008 Archives by author

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

Starting: Mon Jun 2 12:55:42 CEST 2008
Ending: Tue Jun 10 15:03:59 CEST 2008
Messages: 5

• [Termtools] Termination competition update   Simon Bailey
• [Termtools] sat-race 08   Johannes Waldmann
• [Termtools] Termination Problem/Proof Formats (discussion at WScT08)   Johannes Waldmann
• [Termtools] Towards the "new" Competition   Johannes Waldmann
• [Termtools] Termination competition update   Johannes Waldmann

Last message date: Tue Jun 10 15:03:59 CEST 2008
Archived on: Tue Jun 10 15:04:04 CEST 2008

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