Literature/sewell.pdf
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Mon, 18 Oct 2010 14:13:28 +0900
changeset 2544 3b24b5d2b68c
parent 1772 48c2eb84d5ce
permissions -rw-r--r--
Use the generalized compositional quotient theorem

(binary:application/pdf)