paper.pdf
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Mon, 01 Apr 2013 18:15:00 +0100
changeset 234 ca2ea835c363
parent 233 e0a7ee9842d6
child 235 0b9c893cfd1b
permissions -rw-r--r--
fixed counterexample according to def in Chap 8

(binary:application/pdf)