Molecular Computation Models in ACL2: a Simulation of Lipton's Experiment Solving SAT. # (2007)
J. A. Alonso, F. Sancho-caparrini
In this paper we present an ACL2 formalization of a molecular computing model: Adleman 's restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As...
F.: A Prolog simulator for deterministic P systems with active membranes (2003)
A. Cordón-franco, F. Sancho-caparrini
Abstract In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. This representation allows us to express the set of rules and the...
Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT. ∗ (2002)
J. A. Alonso, F. Sancho-caparrini
In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As an...