Univ.-Prof. Dr. Aart Middeldorp
Home
Events
Research
Teaching
Research
publications
activities
projects
CSI
FORT
TTT2
Publications
edited books
articles in journals
papers in proceedings
miscellaneous
15th International Workshop on Termination (WST 2016)
Aart Middeldorp and René Thiemann (eds.)
proceedings, 2016
preface
proceedings