News:Termination and Complexity Competition 2016

From Termination-Portal.org
Revision as of 17:06, 9 July 2016 by Thiemann (talk | contribs) (entry for competition 2016)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


Sep 5 or Sep 6, 2016

The Termination and Complexity Competition 2016 will be affiliated with the Workshop on Termination in 2016.

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=News:Termination_and_Complexity_Competition_2016&oldid=1656"