Difference between revisions of "WScT"
From Termination-Portal.org
Jump to navigationJump to searchJ.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...) |
(No difference)
|
Revision as of 12:52, 31 March 2008
A special topic in termination is automatic verification of termination proofs.
Upcoming events:
- May 17 - 19, 2008 in Leipzig, Germany: WScT08
Previous events:
Resources: