( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures.

, , , и . NANOARCH, стр. 116-121. IEEE Computer Society/ACM, (2014)

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.

Anne Laking

Matthew Mellon

Matthew David

Matthew Smith

Olumuyiwa Matthew

 

Другие публикации лиц с тем же именем

Logic circuits based on molecular spider systems., , и . Biosyst., (2016)Towards Temporal Logic Computation Using DNA Strand Displacement Reactions., и . UCNC, том 10240 из Lecture Notes in Computer Science, стр. 41-55. Springer, (2017)An executable meta-language for inductive definitions with binders.. University of Cambridge, UK, (2010)British Library, EThOS.Encoding Abstract Syntax Without Fresh Names., и . J. Autom. Reason., 49 (2): 115-140 (2012)Constraint solving in non-permutative nominal abstract syntax. Logical Methods in Computer Science, (2011)Scalable Design of Logic Circuits Using an Active Molecular Spider System., , и . IPCAT, том 9303 из Lecture Notes in Computer Science, стр. 13-28. Springer, (2015)Contextual equivalence for inductive definitions with binders in higher order typed functional programming., и . J. Funct. Program., 23 (6): 658-700 (2013)Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming., и . ESOP, том 5502 из Lecture Notes in Computer Science, стр. 47-61. Springer, (2009)Operant conditioning of stochastic chemical reaction networks., и . PLoS Comput. Biol., 18 (11): 1010676 (ноября 2022)A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures., , , и . NANOARCH, стр. 116-121. IEEE Computer Society/ACM, (2014)