| Sun, 13 Oct 2013 23:09:21 +0200 | Christian Urban |
added slides | file | diff | annotate |
| Fri, 17 Feb 2012 02:05:00 +0000 | Christian Urban | added fs and pt for multisets | file | diff | annotate |
| Tue, 24 Jan 2012 17:43:07 +0000 | Christian Urban | repaired all slides | file | diff | annotate |
| Sat, 26 Nov 2011 09:47:21 +0000 | Christian Urban | slides for talk in Leicester | file | diff | annotate |
| Tue, 12 Apr 2011 15:46:35 +0800 | Christian Urban | shanghai slides | file | diff | annotate |
| Thu, 31 Mar 2011 15:25:35 +0200 | Christian Urban | final version of slides | file | diff | annotate |
| Sun, 08 Aug 2010 10:12:38 +0800 | Christian Urban | proved rsp-helper lemmas of size functions | file | diff | annotate |