Literature/FormalizingAutomata-Constable.pdf
author urbanc
Sat, 05 Mar 2011 11:06:39 +0000
changeset 143 1cc87efb3b53
parent 10 9563a9cd28d3
permissions -rw-r--r--
formalisation of first direction is now only 780 loc

(binary:application/pdf)