June 2006 Archives by thread

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

Starting: Fri Jun 2 17:38:31 CEST 2006
Ending: Fri Jun 30 13:09:02 CEST 2006
Messages: 54

• [Termtools] Tools submitted to the competition   Claude Marche
• [Termtools] Competition : qualification round   Claude Marche
• [Termtools] competition delayed again   Claude Marche
• [Termtools] Competition: updates   Claude Marche
  • [Termtools] Competition: updates   Jörg Endrullis
  • [Termtools] Competition: updates   Jörg Endrullis
• [Termtools] Test   Claude Marche
• [Termtools] List up again   Claude Marche
• [Termtools] time limit 300   Claude Marche
  • [Termtools] time limit 300   Jörg Endrullis
    • [Termtools] time limit 300   Johannes Waldmann
• [Termtools] competition, so far - and some remarks on matrices   Johannes Waldmann
  • [Termtools] competition, so far - and some remarks on matrices   Claude Marche
• [Termtools] TTTbox   Martin Johann Korp
• [Termtools] TRS competition   Johannes Waldmann
  • [Termtools] HofWald 7   Claude Marche
  • [Termtools] HofWald 7   Salvador Lucas
  • [Termtools] HofWald 7   Johannes Waldmann
  • [Termtools] HofWald 7   Zantema, H.
  • [Termtools] HofWald 7   Johannes Waldmann
• [Termtools] HofWald 7   Koprowski, A.
  • [Termtools] HofWald 7   Johannes Waldmann
    • [Termtools] HofWald 7   Frederic Blanqui
  • [Termtools] TRS/Zantema - z12   Johannes Waldmann
    • [Termtools] TRS/Zantema - z12   Salvador Lucas
      • [Termtools] TRS/Zantema - z12   Salvador Lucas
      • [Termtools] TRS/Zantema - z12   Peter Schneider-Kamp
• [Termtools] competition   Zantema, H.
  • [Termtools] competition   Salvador Lucas
  • [Termtools] competition   Salvador Lucas
  • [Termtools] disqualifications   Claude Marche
    • [Termtools] disqualifications   Johannes Waldmann
    • [Termtools] disqualifications   Claude Marche
    • [Termtools] disqualifications   Salvador Lucas
• [Termtools] disqualifications   Zantema, H.
  • [Termtools] competition   Prof. Geser
    • [Termtools] competition   Zantema, H.
      • [Termtools] competition - (preliminary) results   Johannes Waldmann
      • [Termtools] competition - (preliminary) results   Jörg Endrullis
      • [Termtools] competition - (preliminary) results   Rene Thiemann
  • [Termtools] modularization   Johannes Waldmann
  • [Termtools] second stage (rules changed?)   Johannes Waldmann
  • [Termtools] second stage (5 minutes) overwrites previous results?   Johannes Waldmann
    • [Termtools] second stage (5 minutes) overwrites previous results?   Claude Marche
  • [Termtools] randomness and determinism   Johannes Waldmann
  • [Termtools] timing   Johannes Waldmann
    • [Termtools] timing   Claude Marche
    • [Termtools] timing   Martin Johann Korp
• [Termtools] TORPA nondeterminism   Zantema, H.
• [Termtools] timing   Zantema, H.
• [Termtools] scores over 100 %   Zantema, H.
  • [Termtools] scores over 100 %   Peter Schneider-Kamp
    • [Termtools] scores over 100 %   Salvador Lucas
  • [Termtools] over 100% bug   Claude Marche

Last message date: Fri Jun 30 13:09:02 CEST 2006
Archived on: Tue Sep 5 15:57:42 CEST 2006

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