Theorem proving and DNA computing

zbMATH Open1118.68496MaRDI QIDQ5309409FDOQ5309409

Authors: Doina Tatar, Mihai Oltean 

Publication date: 9 October 2007

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

Mathematics Subject Classification ID

Cited In (4)

• DNA Computing
• Mathematical Proof and the Reliability of DNA Evidence
• Title not available (Why is that?)
• PROCEDURES FOR LOGIC AND ARITHMETIC OPERATIONS WITH DNA MOLECULES

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)