April 2009 Archives by subject

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

Starting: Wed Apr 1 15:07:12 CEST 2009
Ending: Wed Apr 29 09:58:45 CEST 2009
Messages: 16

• [Termtools] [color] Re: Results for certified categories.   Frederic Blanqui
• [Termtools] [color] Re: Results for certified categories.   Simon Bailey
• [Termtools] [color] Re: Results for certified categories.   Frederic Blanqui
• [Termtools] [color] Re: Results for certified categories.   olivier.pons at cnam.fr
• [Termtools] [color] Re: Results for certified categories.   Simon Bailey
• [Termtools] Certified relative / equational termination   Ulrich Schmidt-Goertz
• [Termtools] Certified relative / equational termination   Johannes Waldmann
• [Termtools] Certified relative / equational termination   Johannes Waldmann
• [Termtools] competition report   Johannes Waldmann
• [Termtools] Fwd: Results for certified categories.   Adam Koprowski
• [Termtools] new address for the termination competition   Simon Bailey
• [Termtools] Participation & Open Source   Juergen Giesl
• [Termtools] Participation & Open Source   Johannes Waldmann
• [Termtools] termination competition changes   Lars Noschinski
• [Termtools] TrafO?   Johannes Waldmann
• [Termtools] WST09 registration is open   Johannes Waldmann

Last message date: Wed Apr 29 09:58:45 CEST 2009
Archived on: Wed Apr 29 09:58:50 CEST 2009

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