April 2005 Archives by thread

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

Starting: Fri Apr 1 17:06:25 CEST 2005
Ending: Thu Apr 28 13:44:23 CEST 2005
Messages: 23

• [Termination tools] Termination competition, qualification round   Claude Marche
  • [Termination tools] Termination competition, qualification round   Claude Marche
• [Termination tools] competition started   Claude Marche
• [Termination tools] binary executable available   Claude Marche
• [Termination tools] simple question   Claude Marche
  • [Termination tools] simple question   H. Zantema
• [Termination tools] Competition 2005 is over !   Claude Marche
  • [Termination tools] Competition 2005 is over !   Johannes Waldmann
  • [Termination tools] Competition 2005 is over !   H. Zantema
  • [Termination tools] Competition 2005 is over !   Aart Middeldorp
  • [Termination tools] Competition 2005 is over !   Claude Marche
  • [Termination tools] Competition 2005 is over !   Salvador Lucas
    • [Termination tools] Competition 2005 is over !   Johannes Waldmann
    • [Termination tools] Competition 2005 is over !   Salvador Lucas
• [Termination tools] Competition   Juergen Giesl
• [Termination tools] Several issues   Juergen Giesl
  • [Termination tools] Several issues   Salvador Lucas
    • [Termination tools] Several issues   Claude Marche
    • [Termination tools] Several issues   Jörg Endrullis
• [Termination tools] Several issues   H. Zantema
• [Termination tools] some interesting small TRSs   Johannes Waldmann
• [Termination tools] Re: competition   Claude Marche
• [Termination tools] small TRS enumeration   Johannes Waldmann

Last message date: Thu Apr 28 13:44:23 CEST 2005
Archived on: Tue Sep 5 15:57:41 CEST 2006

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