{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:38:01Z","timestamp":1725496681245},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402107"},{"type":"electronic","value":"9783540448686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44868-3_84","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T19:49:24Z","timestamp":1196365764000},"page":"662-669","source":"Crossref","is-referenced-by-count":5,"title":["Solving SAT in Linear Time with a Neural-like Membrane System"],"prefix":"10.1007","author":[{"given":"Juan","family":"Pazos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfonso","family":"Rodr\u00edguez-Pat\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9s","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"84_CR1","volume-title":"Essential Cell Biology. An Introduction to the Molecular Biology of the Cell","author":"B. Alberts","year":"1998","unstructured":"B. Alberts et al., Essential Cell Biology. An Introduction to the Molecular Biology of the Cell, Garland Publ. Inc., New York, London, 1998."},{"key":"84_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4782-1","volume-title":"Brains, Machines, and Mathematics","author":"M.A. Arbib","year":"1987","unstructured":"M.A. Arbib, Brains, Machines, and Mathematics, second ed., Springer-Verlag, Berlin, 1987.","edition":"second ed."},{"key":"84_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/3-540-45523-X_2","volume-title":"Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View","author":"J.P. Banatre","year":"2001","unstructured":"J.P. Banatre, P. Fradet, D. LeMetayer, Gamma and the chemical abstract reaction model: fifteen years after, in vol. Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View (C.S. Calude, Gh. P\u0103un, G. Rozenberg, A. Salomaa, eds.), Lecture Notes in Computer Science, 2235, Springer-Verlag, 2001, 17\u201344."},{"key":"84_CR4","first-page":"1","volume":"2","author":"D.S. Blank","year":"1999","unstructured":"D.S. Blank et al (24 co-authors), Connectionist symbol processing: Dead or alive?, Neural Computing Surveys, 2 (1999), 1\u201340.","journal-title":"Neural Computing Surveys"},{"key":"84_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Automata Networks","year":"1988","unstructured":"C. Choffrut, ed., Automata Networks, Lecture Notes in Computer Science, 316, Springer-Verlag, Berlin, 1988."},{"key":"84_CR6","series-title":"Lect Notes Comput Sci","first-page":"67","volume-title":"Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View","author":"E. Csuhaj-Varju","year":"2001","unstructured":"E. Csuhaj-Varju, C. Martin-Vide, V. Mitrana, Multiset automata, in vol. Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View (C.S. Calude, Gh. P\u0103un, G. Rozenberg, A. Salomaa, eds), Lecture Notes in Computer Science, 2235, Springer-Verlag, 2001, 67\u201382."},{"key":"84_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61611-2","volume-title":"Products of Automata","author":"F. Gecseg","year":"1986","unstructured":"F. Gecseg, Products of Automata, Springer-Verlag, Berlin, 1986."},{"key":"84_CR8","first-page":"2","volume-title":"Automata Studies","author":"S.C. Kleene","year":"1956","unstructured":"S.C. Kleene, Representation of events in nerve nets and finite automata, Automata Studies, Princeton Univ. Press, Princeton, N.J., 1956, 2\u201342."},{"key":"84_CR9","doi-asserted-by":"crossref","unstructured":"R. J. Lipton, Using DNA to solve NP-complete problems, Science, 268 (April 1995), 542\u2013545.","DOI":"10.1126\/science.7725098"},{"key":"84_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195118285.001.0001","volume-title":"The Touchstone of Life. Molecular Information, Cell Communication, and the Foundations of Life","author":"W.R. Loewenstein","year":"1999","unstructured":"W.R. Loewenstein, The Touchstone of Life. Molecular Information, Cell Communication, and the Foundations of Life, Oxford Univ. Press, New York, Oxford, 1999."},{"issue":"2","key":"84_CR11","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0304-3975(02)00659-X","volume":"296","author":"C. Mart\u00edn-Vide","year":"2003","unstructured":"Carlos Mart\u00edn-Vide, Gheorghe P\u0103un, Juan Pazos and Alfonso Rodr\u00edguez-Pat\u00f3n, Tissue Psystems, Theoretical Computer Science, vol. 296, issue 2, (2003), 295\u2013326.","journal-title":"Theoretical Computer Science"},{"key":"84_CR12","unstructured":"A. Mateescu, V. Mitrana, Parallel finite automata systems communicating by states, Intern. J. Found. Computer Sci., to appear."},{"key":"84_CR13","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"W.S. McCulloch","year":"1943","unstructured":"W.S. McCulloch, W.H. Pitts, A logical calculus of the ideas immanent in nervous activity, Bull. Math. Biophys., 5 (1943), 115\u2013133.","journal-title":"Bull. Math. Biophys."},{"issue":"1","key":"84_CR14","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"Gh. P\u0103un","year":"2000","unstructured":"Gh. P\u0103un, Computing with membranes, Journal of Computer and System Sciences, 61, 1 (2000), 108\u2013143 (see also Turku Center for Computer Science-TUCS Report No 208, 1998, http:\/\/www.tucs.fi ).","journal-title":"Journal of Computer and System Sciences"},{"key":"84_CR15","doi-asserted-by":"crossref","unstructured":"Gh. P\u0103un, Membrane Computing. Springer-Verlag, 2002.","DOI":"10.1007\/978-3-642-56196-2"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Neural Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44868-3_84","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T20:45:47Z","timestamp":1708375547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44868-3_84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402107","9783540448686"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44868-3_84","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}