author : C. Graciani Diaz

Short works

• Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment. 2002. (In Unconventional Models of Computation, UMC 2002 )