News:Plan for Termination Competition 2012

From Termination-Portal.org
Jump to: navigation, search


Jun 26, 2012

We plan to attach the 2012 Termination Competition as a satellite event to IJCAR.

Retrieved from "http://www.termination-portal.org/mediawiki/index.php?title=News:Plan_for_Termination_Competition_2012&oldid=1182"
Personal tools