Literature/FormalizingAutomata-Constable.pdf
author urbanc
Mon, 08 Nov 2010 01:13:09 +0000
changeset 19 48744a7f2661
parent 10 9563a9cd28d3
permissions -rw-r--r--
slight tuning of proof by Chunhan

(binary:application/pdf)