Literature/nipkow-rexp.pdf
author urbanc
Wed, 22 Feb 2012 13:25:49 +0000
changeset 334 d47c2143ab8a
parent 26 b0cdf8f5a9af
permissions -rw-r--r--
partially updated conference paper; slightly tuned journal paper

(binary:application/pdf)