Literature/Tom Henzinger.pdf
author wu
Sat, 06 Nov 2010 23:31:53 +0000
changeset 18 fbd62804f153
parent 8 1f8fe5bfd381
permissions -rwxr-xr-x
the ALT case is done; the other two cases: the relation is defined by not proved on inj part.

(binary:application/pdf)