WScT08-Program
From Termination-Portal.org
Jump to navigationJump to search- 05/17/08, 09:30 — Christian Sternagel, slides
- 05/17/08, 10:30 — René Thiemann, slides
- 05/17/08, 11:50 — Simon Bailey, slides
- 05/17/08, 14:00 — handling DG/SCCs (Idea)
- 05/18/08, 09:30 — The A3PAT Approach, slides, XML-format of A3PAT
- 05/19/08, 12:00 — René Thiemann, XML-output of AProVE, translator to HTML, translator to Rainbow, example proof
