The termination competition 2006

C. Marché, H. Zantema

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

2 Downloads (Pure)

Samenvatting

The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition.
Originele taal-2Engels
TitelProceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)
RedacteurenA. Geser, H. Sondergaard
Plaats van productieS.l.
UitgeverijComputing Research Repository
Pagina's32-38
StatusGepubliceerd - 2006

Citeer dit

Marché, C., & Zantema, H. (2006). The termination competition 2006. In A. Geser, & H. Sondergaard (editors), Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006) (blz. 32-38). Computing Research Repository.