Theorem proving and DNA computing

MaRDI QIDQ5309409zbMATH OpenFDO

Authors Doina Tatar, Mihai Oltean

Publication date 9 October 2007

Mathematics Subject Classification ID

Recommendations

• DNA computing, sticker systems, and universality
• Sticker systems
• DNA computing by matching: sticker systems and Watson-Crick automata
• Sticker systems with complex structures
• Sticker DNA computer model. I: Theory

Cited in

(4)

• PROCEDURES FOR LOGIC AND ARITHMETIC OPERATIONS WITH DNA MOLECULES
• scientific article; zbMATH DE number 1351098 (Why is no real title available?)
• Mathematical Proof and the Reliability of DNA Evidence
• DNA Computing

This page was built for publication: Theorem proving and DNA computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5309409)