Programming in Biomolecular Computation (Q5404089): Difference between revisions

@@ Property / cites work @@
+Q4218921
@@ Property / cites work: Q4218921 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Power of Biochemistry
@@ Property / cites work: On the Computational Power of Biochemistry / rank @@
+Normal rank
@@ Property / cites work @@
+Turing universality of the Biochemical Ground Form
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation of Cellular Signalling Networks
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Computational methods in systems biology. 7th international conference, CMSB 2009, Bologna, Italy, August 31--September 1, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265595
@@ Property / cites work: Q4265595 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+ASYNCHRONOUS AUTOMATA NETWORKS CAN EMULATE ANY SYNCHRONOUS AUTOMATA NETWORK
+Normal rank
@@ Property / cites work @@
+Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Q4224903
@@ Property / cites work: Q4224903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150942
@@ Property / cites work: Q3150942 / rank @@
+Normal rank