Literature/partial-derivatives-in-coq.pdf
author urbanc
Thu, 01 Sep 2011 20:26:30 +0000
changeset 221 68e28debe995
parent 192 ce24ed955cca
permissions -rw-r--r--
solved the SUBSEQ/SUPSEQ problem

(binary:application/pdf)