Jump to content

Main menu

Main menu

Navigation

Home
News
People
Tools
References
Categories

resources

Workshop on Termination
Termination Problems Data Base
Termination Competition
Termination Tools Mailing List

Termination-Portal.org

Appearance

Request account
Log in

Personal tools

Request account
Log in

WScT: Revision history

Page
Discussion

English

Read
View source
View history

Tools

Tools

Actions

Read
View source
View history

General

What links here
Related changes
Atom
Special pages
Page information

Appearance

View logs for this page

Filter revisionsExpandCollapse

To date:

Tag filter:

Invert selection

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

29 September 2009

curprev 09:5709:57, 29 September 2009 Thiemann talk contribs 1,005 bytes +121 No edit summary

25 November 2008

curprev 21:1621:16, 25 November 2008 Fuhs talk contribs 884 bytes +5 Update of previous events

20 April 2008

curprev 08:2008:20, 20 April 2008 C-Otto talk contribs 879 bytes −9 Internal link!

15 April 2008

curprev 14:5514:55, 15 April 2008 J.waldmann talk contribs 888 bytes +603 No edit summary

31 March 2008

curprev 12:5212:52, 31 March 2008 J.waldmann talk contribs 285 bytes +285 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...

Retrieved from "http://termination-portal.org/wiki/WScT"

About Termination-Portal.org (Impressum)