The termination competition 2006

C. Marché, H. Zantema

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

2 Downloads (Pure)


The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition.
Original languageEnglish
Title of host publicationProceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)
EditorsA. Geser, H. Sondergaard
Place of PublicationS.l.
PublisherComputing Research Repository
Publication statusPublished - 2006


Dive into the research topics of 'The termination competition 2006'. Together they form a unique fingerprint.

Cite this