Jump to content

News:Termination and Complexity Competition 2016

From Termination-Portal.org


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"