Literature/core-has.pdf
author Christian Urban <urbanc@in.tum.de>
Sun, 05 Sep 2010 06:42:53 +0800
changeset 2473 a3711f07449b
parent 1772 48c2eb84d5ce
permissions -rw-r--r--
added the definition supp_rel (support w.r.t. a relation)

(binary:application/pdf)