Using Automated Reasoning Systems on Molecular Computing.

Carmen Graciani Daz, Mario J. Prez-Jimnez

Browse the full DNA paper archive.