Author of the publication

Towards Temporal Logic Computation Using DNA Strand Displacement Reactions.

, and . UCNC, volume 10240 of Lecture Notes in Computer Science, page 41-55. Springer, (2017)

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.

 

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)Design and Simulation of a Multilayer Chemical Neural Network That Learns via Backpropagation.. Artif. Life, 29 (3): 308-335 (Summer 2023)Constraint solving in non-permutative nominal abstract syntax. Logical Methods in Computer Science, (2011)Operant conditioning of stochastic chemical reaction networks., and . PLoS Comput. Biol., 18 (11): 1010676 (November 2022)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)