WST09: Revision history

4 June 2009

• curprev 11:4311:43, 4 June 2009 Binabik talk contribs 336 bytes +123 No edit summary

12 March 2009

• curprev 10:1110:11, 12 March 2009 J.waldmann talk contribs 213 bytes −1,480 No edit summary

18 February 2009

• curprev 10:3710:37, 18 February 2009 J.waldmann talk contribs 1,693 bytes +71 No edit summary

11 December 2008

• curprev 10:5310:53, 11 December 2008 J.waldmann talk contribs 1,622 bytes +150 →general information
• curprev 10:4610:46, 11 December 2008 J.waldmann talk contribs 1,472 bytes +227 No edit summary

31 May 2008

• curprev 18:5418:54, 31 May 2008 J.waldmann talk contribs 1,245 bytes +376 →Certified Termination

19 May 2008

• curprev 09:5309:53, 19 May 2008 Binabik talk contribs m 869 bytes +159 No edit summary
• curprev 09:5209:52, 19 May 2008 Binabik talk contribs 710 bytes +35 No edit summary

31 March 2008

• curprev 12:2712:27, 31 March 2008 J.waldmann talk contribs 675 bytes +675 New page: The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany. * local organization: Alfons Geser and Johannes Waldmann, HTWK Leipzig * venue (to be confirmed): http://www.mml...