( en | de | ru )

 

Disambiguation of "Lakin, Matthew R."

Author of the publication

copydeleteadd this publication to your clipboard
Logic circuits based on molecular spider systems.

, , and . Biosyst., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anne Laking

Matthew Mellon

Matthew David

Matthew Grum

Matthew The

 

Other publications of authors with the same name

Logic circuits based on molecular spider systems., , and . Biosyst., (2016)An executable meta-language for inductive definitions with binders.. University of Cambridge, UK, (2010)British Library, EThOS.Towards Temporal Logic Computation Using DNA Strand Displacement Reactions., and . UCNC, volume 10240 of Lecture Notes in Computer Science, page 41-55. Springer, (2017)Encoding Abstract Syntax Without Fresh Names., and . J. Autom. Reason., 49 (2): 115-140 (2012)Constraint solving in non-permutative nominal abstract syntax. Logical Methods in Computer Science, (2011)Design and Simulation of a Multilayer Chemical Neural Network That Learns via Backpropagation.. Artif. Life, 29 (3): 308-335 (Summer 2023)Contextual equivalence for inductive definitions with binders in higher order typed functional programming., and . J. Funct. Program., 23 (6): 658-700 (2013)Scalable Design of Logic Circuits Using an Active Molecular Spider System., , and . IPCAT, volume 9303 of Lecture Notes in Computer Science, page 13-28. Springer, (2015)Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming., and . ESOP, volume 5502 of Lecture Notes in Computer Science, page 47-61. Springer, (2009)A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures., , , and . NANOARCH, page 116-121. IEEE Computer Society/ACM, (2014)