Search: Grenoble, Francia | Research Group on Natural Computing

Search: Grenoble, Francia

1 result

Results

Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the Adleman's Restricted Model

Thu, 01/10/2008 - 14:06 — ana

Martín-Mateos, F. J., Pérez-Jiménez M. J., & Sancho-Caparrini F. (2002). Molecular Computation Models in ACL2: A Simulation of Lipton's SAT Experiment in the Adleman's Restricted Model. Third International Workshop on the ACL2 Theorem Prover and its Applications. 175-187.