Programming Self-Assembly of DNA Tiles

DOI10.3233/FI-2016-1302zbMath1358.68099OpenAlexW2291405670MaRDI QIDQ2968851

M. Eugenia Occhiuto, Marco Bellia

Publication date: 22 March 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2016-1302

zbMATH Keywords

\(\pi\)-calculuscombinatory logicconsensus problemaTAM modelDNA tile self assembly

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Programming Self-Assembly of DNA Tiles