News:Logic Programming Category of the Termination Competition

From Termination-Portal.org
Revision as of 16:18, 29 October 2008 by Nowonder (talk | contribs) (New page: <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here to link to...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


Oct 29, 2008

Logic Programming Category of the Termination Competition: Logic_Programming