April 2004 Archives by author

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

Starting: Thu Apr 1 17:18:01 CEST 2004
Ending: Thu Apr 29 17:01:04 CEST 2004
Messages: 14

• [Termination tools] Termination of context-sensitive rewriting strategies   Salvador Lucas
• [Termination tools] Rules of the WST competition   Salvador Lucas
• [Termination tools] Rules of the WST competition   Claude Marche
• [Termination tools] Rules of the WST competition   Claude Marche
• [Termination tools] Rules of the WST competition   Claude Marche
• [Termination tools] Re: WST competition: executable   Peter Schneider-Kamp
• [Termination tools] Contest Entry, Organisation, Syntax   Johannes Waldmann
• [Termination tools] competition rules, extra systems   Johannes Waldmann
• [Termination tools] Contest Entry, Organisation   H. Zantema
• [Termination tools] competition rules, extra systems   H. Zantema
• [Termination tools] Rules of the WST competition   H. Zantema
• [Termination tools] Rules of the WST competition   H. Zantema
• [Termination tools] Rules of the WST competition   H. Zantema
• [Termination tools] inheritance of categories   H. Zantema

Last message date: Thu Apr 29 17:01:04 CEST 2004
Archived on: Tue Sep 5 15:57:40 CEST 2006

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