author : F.J. Martin Mateos

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 )