WScT

From Termination-Portal.org
Revision as of 12:52, 31 March 2008 by J.waldmann (talk | contribs) (New page: A special topic in termination is automatic verification of termination proofs. Upcoming events: * May 17 - 19, 2008 in Leipzig, Germany: WScT08 Previous events: * [http://color.lor...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

A special topic in termination is automatic verification of termination proofs.


Upcoming events:

  • May 17 - 19, 2008 in Leipzig, Germany: WScT08

Previous events:

Resources:

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=WScT&oldid=282"