June 2007 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• 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] core dumps   Johannes Waldmann
• [Termtools] strange proof   Zantema, H.
• [Termtools] strange proof   Claude Marché
• [Termtools] polytool proof output   Claude Marché
• [Termtools] polytool proof output   ManhThang Nguyen
• [Termtools] certifying option ready to run   Claude Marché
• [Termtools] SRS standard sub-category   Claude Marché
• [Termtools] certifying option ready to run   Frederic Blanqui
• [Termtools] fp, lp & relative srs   Peter Schneider-Kamp
• [Termtools] fp, lp & relative srs   Peter Schneider-Kamp
• [Termtools] certifying option ready to run   Claude Marché
• [Termtools] TPA   Zantema, H.
• [Termtools] TPA   Frederic Blanqui
• [Termtools] TPA   Frederic Blanqui
• [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] SRS standard sub-category   Johannes Waldmann
• [Termtools] jambox?   Johannes Waldmann
• [Termtools] SRS standard sub-category   Harald Roman Zankl
• [Termtools] Certified ERROR for TRS/ARroVE/improved_usable.trs   Christian Sternagel
• [Termtools] SRS standard sub-category   Johannes Waldmann
• [Termtools] jambox?   Jörg Endrullis
• [Termtools] Certified ERROR for TRS/ARroVE/improved_usable.trs   Koprowski, A.
• [Termtools] SRS standard sub-category   Zantema, H.
• [Termtools] certified - strange proofs   Christian Sternagel
• [Termtools] certified - strange proofs   Frederic Blanqui
• [Termtools] certified - strange proofs   Frederic Blanqui
• [Termtools] time limit for coq?   Frederic Blanqui
• [Termtools] certified - strange proofs   Koprowski, A.
• [Termtools] certified - strange proofs   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é
• [Termtools] certified - strange proofs   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] Re: SRS standard sub-category   Johannes Waldmann
• [Termtools] Re: SRS standard sub-category   Carsten Otto
• [Termtools] polytool proof output   ManhThang Nguyen
• [Termtools] Re: SRS standard sub-category   Peter Schneider-Kamp
• [Termtools] certified - strange proofs   Frederic Blanqui
• [Termtools] certified - strange proofs   Claude Marché
• [Termtools] certified - strange proofs   Koprowski, A.
• [Termtools] Problem with some proofs   Salvador Lucas
• [Termtools] SRS/Zantema/z090?   Johannes Waldmann
• [Termtools] SRS/Zantema/z090?   Johannes Waldmann
• [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] RE: Problem with some proofs   Etienne Payet
• [Termtools] polytool proof output   ManhThang Nguyen
• [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] SRS/Zantema/z090?   Aart Middeldorp
• [Termtools] Re: buggy proofs   Johannes Waldmann
• [Termtools] Re: buggy proofs   Salvador Lucas
• [Termtools] SRS/Zantema/z090?   Johannes Waldmann
• [Termtools] Re: buggy proofs   Salvador Lucas
• [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] 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: [ thread ] [ subject ] [ author ]
• More info on this list...