Difference between revisions of "News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps"
From Termination-Portal.org
Jump to navigationJump to search (Corrected Date of WST 2016) |
m (Thiemann moved page News:Workshop on Termination 2016: September 5-6 at Computational Logic in the Alps to News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps: corrected date of WST 2016) |
(No difference)
|