June 2007 Archives by thread

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

Starting: Fri Jun 1 11:31:41 CEST 2007
Ending: Tue Jun 26 16:36:41 CEST 2007
Messages: 92

• [Termtools] tools problems solved (mostly)   Claude Marché
• [Termtools] qualification rounds completed   Claude Marché
  • [Termtools] qualification rounds completed   Frederic Blanqui
  • [Termtools] qualification rounds completed   Jörg Endrullis
• [Termtools] Jambox final version   Jörg Endrullis
  • [Termtools] Final version of tools/ secret problems   Claude Marché
  • [Termtools] Re: qualification rounds completed   Johannes Waldmann
    • [Termtools] Re: qualification rounds completed   Claude Marché
    • [Termtools] Re: qualification rounds completed   Johannes Waldmann
  • [Termtools] Competition running...   Claude Marché
  • [Termtools] SRS relative termination started   Claude Marché
  • [Termtools] SRS relative ended   Claude Marché
  • [Termtools] strange proof   Johannes Waldmann
    • [Termtools] strange proof   Carsten Otto
    • [Termtools] strange proof   Johannes Waldmann
    • [Termtools] strange proof   ManhThang Nguyen
    • [Termtools] polytool proof output   Johannes Waldmann
    • [Termtools] polytool proof output   Peter Schneider-Kamp
    • [Termtools] polytool proof output   Claude Marché
    • [Termtools] polytool proof output   ManhThang Nguyen
    • [Termtools] polytool proof output   ManhThang Nguyen
    • [Termtools] polytool proof output   ManhThang Nguyen
    • [Termtools] strange proof   Zantema, H.
      • [Termtools] strange proof   Claude Marché
  • [Termtools] core dumps   Johannes Waldmann
  • [Termtools] certifying option ready to run   Claude Marché
    • [Termtools] certifying option ready to run   Frederic Blanqui
      • [Termtools] certifying option ready to run   Claude Marché
    • [Termtools] TPA   Zantema, H.
      • [Termtools] TPA   Frederic Blanqui
      • [Termtools] TPA   Frederic Blanqui
  • [Termtools] SRS standard sub-category   Claude Marché
    • [Termtools] SRS standard sub-category   Johannes Waldmann
    • [Termtools] SRS standard sub-category   Zantema, H.
    • [Termtools] Re: SRS standard sub-category   Johannes Waldmann
    • [Termtools] Re: SRS standard sub-category   Carsten Otto
    • [Termtools] Re: SRS standard sub-category   Peter Schneider-Kamp
  • [Termtools] fp, lp & relative srs   Peter Schneider-Kamp
  • [Termtools] fp, lp & relative srs   Peter Schneider-Kamp
• [Termtools] Problems with TPA.   Koprowski, A.
  • [Termtools] TRS standard running   Claude Marché
    • [Termtools] TRS standard running   Claude Marché
  • [Termtools] jambox?   Peter Schneider-Kamp
    • [Termtools] jambox?   Johannes Waldmann
  • [Termtools] jambox?   Johannes Waldmann
    • [Termtools] jambox?   Jörg Endrullis
  • [Termtools] SRS standard sub-category   Harald Roman Zankl
    • [Termtools] SRS standard sub-category   Johannes Waldmann
  • [Termtools] Certified ERROR for TRS/ARroVE/improved_usable.trs   Christian Sternagel
    • [Termtools] Certified ERROR for TRS/ARroVE/improved_usable.trs   Koprowski, A.
  • [Termtools] certified - strange proofs   Christian Sternagel
    • [Termtools] certified - strange proofs   Frederic Blanqui
      • [Termtools] certified - strange proofs   Frederic Blanqui
    • [Termtools] certified - strange proofs   Koprowski, A.
      • [Termtools] certified - strange proofs   Frederic Blanqui
      • [Termtools] certified - strange proofs   Claude Marché
      • [Termtools] certified - strange proofs   Frederic Blanqui
      • [Termtools] certified - strange proofs   Claude Marché
      • [Termtools] certified - strange proofs   Koprowski, A.
• [Termtools] time limit for coq?   Frederic Blanqui
  • [Termtools] Re: time limit for coq?   Frederic Blanqui
  • [Termtools] certified - strange proofs   Christian Sternagel
  • [Termtools] certified - green MAYBEs   Christian Sternagel
  • [Termtools] time limits   Claude Marché
  • [christian.sternagel@uibk.ac.at: Re: [Termtools] certified - strange proofs]   Christian Sternagel
  • [Termtools] certified - strange proofs   Christian Sternagel
    • [Termtools] certified - strange proofs   Koprowski, A.
• [Termtools] Problem with some proofs   Salvador Lucas
  • [Termtools] RE: Problem with some proofs   Zantema, H.
    • [Termtools] Re: Problem with some proofs   Salvador Lucas
    • [Termtools] Re: Problem with some proofs   Salvador Lucas
  • [Termtools] SRS/Zantema/z090?   Johannes Waldmann
    • [Termtools] SRS/Zantema/z090?   Johannes Waldmann
    • [Termtools] SRS/Zantema/z090?   Aart Middeldorp
      • [Termtools] Re: buggy proofs   Johannes Waldmann
      • [Termtools] Re: buggy proofs   Salvador Lucas
      • [Termtools] Re: buggy proofs   Salvador Lucas
      • [Termtools] SRS/Zantema/z090?   Johannes Waldmann
      • [Termtools] Remarks on the Termination Competition   Juergen Giesl
      • [Termtools] Remarks on the Termination Competition   Claude Marché
      • [Termtools] Remarks on the Termination Competition   Zantema, H.
      • [Termtools] Remarks on the Termination Competition   Salvador Lucas
      • [Termtools] Remarks on the Termination Competition   Zantema, H.
      • [Termtools] RE: Problem with some proofs   Etienne Payet
  • [Termtools] SRS/Zantema/z090   Christian Sternagel
    • [Termtools] Re: SRS/Zantema/z090   Johannes Waldmann
    • [Termtools] Re: SRS/Zantema/z090   Zantema, H.
  • [Termtools] Zantema/z090   Christian Sternagel
    • [Termtools] Zantema/z090   Johannes Waldmann
  • [Termtools] how to handle buggy provers   Johannes Waldmann
  • [Termtools] future of termination competitions - discussion at WST   Johannes Waldmann
    • [Termtools] future of termination competitions - discussion at WST   Frederic Blanqui

Last message date: Tue Jun 26 16:36:41 CEST 2007
Archived on: Tue Jun 26 16:59:53 CEST 2007

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