ISR 2009

Advanced Topics in Termination

This site provides links to papers that provide futher details on the topics covered in the Advanced Topics in Termination lecture series at ISR 2009. The slides and a list of termination and complexity tools is also available.