Literature/homeier-qs.pdf
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Tue, 01 Feb 2011 08:48:14 +0900
changeset 2713 a84999edbcb3
parent 2102 200954544cae
permissions -rw-r--r--
More properties that relate abs_res and abs_set. Also abs_res with less binders.

(binary:application/pdf)