Difference between revisions of "News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps"

Latest revision as of 11:58, 2 May 2016

Revision as of 11:57, 2 May 2016 (view source) Thiemann (talk \| contribs) (Corrected Date of WST 2016) ← Older edit	Latest revision as of 11:58, 2 May 2016 (view source) Thiemann (talk \| contribs) 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)