{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T10:40:53Z","timestamp":1648636853476},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540421214","type":"print"},{"value":"9783540451327","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45132-3_5","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T17:00:06Z","timestamp":1194973206000},"page":"82-101","source":"Crossref","is-referenced-by-count":7,"title":["Computing with Membranes (P Systems): Universality Results"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Mart\u00edn-Vide","sequence":"first","affiliation":[]},{"given":"Gheorghe","family":"P\u0102un","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,9]]},"reference":[{"key":"5_CR1","unstructured":"P. Bottoni, C. Martin-Vide, Gh. P\u0103un, G. Rozenberg, Membrane systems with promoters\/inhibitors, submitted, 2000."},{"key":"5_CR2","unstructured":"P. Bottoni, A. Labella, C. Martin-Vide, Gh. P\u0103un, Rewriting P systems with conditional communication, submitted, 2000."},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1038\/376307a0","volume":"376","author":"D. Bray","year":"1995","unstructured":"D. Bray, Protein molecules as computational elements in living cells, Nature, 376 (1995), 307\u2013312","journal-title":"Nature"},{"key":"5_CR4","volume-title":"Computing with Cells and Atoms","author":"C. Calude","year":"2000","unstructured":"C. Calude, Gh. P\u0103un, Computing with Cells and Atoms, Taylor and Francis, London, 2000."},{"key":"5_CR5","unstructured":"J. Castellanos, A. Rodriguez-Paton, Gh. P\u0103un, Computing with membranes: P systems with worm-objects, IEEE 7th. Intern. Conf. on String Processing and Information Retrieval, SPIRE 2000, La Coruna, Spain, 64\u201374."},{"key":"5_CR6","doi-asserted-by":"crossref","volume-title":"Regulated Rewriting in Formal Language Theory","author":"J. Dassow","year":"1989","unstructured":"J. Dassow, Gh. P\u0103un, Regulated Rewriting in Formal Language Theory, Springer-Verlag, Berlin, 1989.","DOI":"10.1007\/978-3-642-74932-2"},{"key":"5_CR7","unstructured":"Cl. Ferretti, G. Mauri, Gh. P\u0103un, Cl. Zandron, Further remarks on P systems with string-objects, submitted, 2000."},{"key":"5_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/3-540-48321-7_23","volume-title":"Fundamentals of Computation Theory, FCT\u201999","author":"R. Freund","year":"1999","unstructured":"R. Freund, Generalized P systems, Fundamentals of Computation Theory, FCT\u201999, Ia\u015fi, 1999 (G. Ciobanu, Gh. P\u0103un, eds.), LNCS 1684, Springer, 1999, 281\u2013292."},{"key":"5_CR9","first-page":"189","volume":"2","author":"R. Freund","year":"1999","unstructured":"R. Freund, Generalized P systems with splicing and cutting\/recombination, Workshop on Formal Languages, FCT\u201999, Ia\u015fi, 1999, Grammars, 2, 3(1999), 189\u2013199.","journal-title":"Workshop on Formal Languages"},{"key":"5_CR10","unstructured":"R. Freund, Sequential P systems, Pre-proc. Workshop on Multiset Processing, Curtea de Arge\u015f, Romania, 2000, and Theorietag 2000; Workshop on New Computing Paradigms (R. Freund, ed.), TU University Vienna, 2000, 177\u2013183."},{"key":"5_CR11","unstructured":"R. Freund, F. Freund, Molecular computing with generalized homogeneous P systems, Proc. Conf. DNA6 (A. Condon, G. Rozenberg, eds.), Leiden, 2000, 113\u2013125."},{"key":"5_CR12","unstructured":"R. Freund, C. Martin-Vide, Gh. P\u0103un, Computing with membranes: Three more collapsing hierarchies, submitted, 2000."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"R. Freund, Gh. P\u0103un, On the number of non-terminals in graph-controlled, programmed, and matrix grammars, submitted, 2000.","DOI":"10.1007\/3-540-45132-3_14"},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/BF02481771","volume":"49","author":"T. Head","year":"1987","unstructured":"T. Head, Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors, Bulletin of Mathematical Biology, 49 (1987), 737\u2013759.","journal-title":"Bulletin of Mathematical Biology"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"M. Ito, C. Martin-Vide, Gh. P\u0103un, A characterization of Parikh sets of ET0L languages in terms of P systems, submitted, 2000.","DOI":"10.1142\/9789812810908_0019"},{"issue":"4","key":"5_CR16","first-page":"357","volume":"2","author":"S. N. Krishna","year":"1999","unstructured":"S. N. Krishna, R. Rama, A variant of P systems with active membranes: Solving NP-complete problems, Romanian J. of Information Science and Technology, 2, 4 (1999), 357\u2013367.","journal-title":"Romanian J. of Information Science and Technology"},{"issue":"1-2","key":"5_CR17","first-page":"1","volume":"77","author":"S. N. Krishna","year":"2000","unstructured":"S. N. Krishna, R. Rama, On the power of P systems with sequential and parallel rewriting, Intern. J. Computer Math., 77, 1-2 (2000), 1\u201314.","journal-title":"Intern. J. Computer Math."},{"key":"5_CR18","unstructured":"S. N. Krishna, R. Rama, P systems with replicated rewriting, J. Automata, Languages, Combinatorics, to appear."},{"key":"5_CR19","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, 1999."},{"key":"5_CR20","unstructured":"V. Manca, C. Martin-Vide, Gh. P\u0103un, On the power of P systems with replicated rewriting, J. Automata, Languages, Combinatorics, to appear."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"C. Martin-Vide, V. Mitrana, P systems with valuations, Proc. Second Conf. Unconventional Models of Computing (I. Antoniou, C. S. Calude, M. J. Dinneen, eds.), Springer-Verlag, 2000, 154\u2013166.","DOI":"10.1007\/978-1-4471-0313-4_13"},{"key":"5_CR22","first-page":"161","volume-title":"Proc. of Algebraic Systems, Formal Languages and Computations Workshop","author":"C. Martin-Vide","year":"2000","unstructured":"C. Martin-Vide, Gh. P\u0103un, String objects in P systems, Proc. of Algebraic Systems, Formal Languages and Computations Workshop, Kyoto, 2000, RIMS Kokyuroku, Kyoto Univ., 2000, 161\u2013169."},{"key":"5_CR23","first-page":"183","volume":"72","author":"C. Martin-Vide","year":"2000","unstructured":"C. Martin-Vide, Gh. P\u0103un, Computing with membranes. One more collapsing hierarchy, Bulletin of the EATCS, 72 (2000), 183\u2013187.","journal-title":"Bulletin of the EATCS"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"C. Martin-Vide, Gh. P\u0103un, G. Rozenberg, Membrane systems with carriers, Theoretical Compuer Sci., to appear.","DOI":"10.1016\/S0304-3975(01)00117-7"},{"key":"5_CR25","unstructured":"A. P\u0103un, On P systems with membrane division, Proc. Second Conf. Unconventional Models of Computing (I. Antoniou, C. S. Calude, M. J. Dinneen, eds.), Springer-Verlag, 2000, 187\u2013201."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"A. P\u0103un, M. P\u0103un, On the membrane computing based on splicing, in vol. Words, Languages, Grammars (C. Martin-Vide, V. Mitrana, eds.), Kluwer, Dordrecht, 2000, 409\u2013422.","DOI":"10.1007\/978-94-015-9634-3_36"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1080\/00207168408803399","volume":"15","author":"Gh. P\u0103un","year":"1984","unstructured":"Gh. P\u0103un, Six nonterminals are enough for generating each r.e. language by a matrix grammar, Intern. J. Computer Math., 15 (1984), 23\u201337.","journal-title":"Intern. J. Computer Math."},{"issue":"1","key":"5_CR28","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"},{"issue":"1","key":"5_CR29","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1142\/S0129054100000090","volume":"11","author":"Gh. P\u0103un","year":"2000","unstructured":"Gh. P\u0103un, Computing with membranes-A variant: P systems with polarized membranes, Intern. J. of Foundations of Computer Science, 11, 1 (2000), 167\u2013182.","journal-title":"Intern. J. of Foundations of Computer Science"},{"key":"5_CR30","unstructured":"Gh. P\u0103un, P systems with active membranes: Attacking NP-complete problems, J. Automata, Languages and Combinatorics, 6, 1 (2001)."},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Gh. P\u0103un, Computing with membranes; Attacking NP-complete problems, Proc. Second Conf. Unconventional Models of Computing (I. Antoniou, C. S. Calude, M. J. Dinneen, eds.), Springer-Verlag, 2000, 94\u2013115.","DOI":"10.1007\/978-1-4471-0313-4_7"},{"key":"5_CR32","volume-title":"DNA Computing. New Computing Paradigms","author":"Gh. P\u0103un","year":"1998","unstructured":"Gh. P\u0103un, G. Rozenberg, A. Salomaa, DNA Computing. New Computing Paradigms, Springer-Verlag, Berlin, 1998."},{"issue":"3","key":"5_CR33","doi-asserted-by":"crossref","first-page":"259","DOI":"10.3233\/FI-2000-41301","volume":"41","author":"Gh. P\u0103un","year":"2000","unstructured":"Gh. P\u0103un, G. Rozenberg, A. Salomaa, Membrane computing with external output, Fundamenta Informaticae, 41, 3(2000), 259\u2013266","journal-title":"Fundamenta Informaticae"},{"key":"5_CR34","unstructured":"Gh. P\u0103un, Y. Suzuki, H. Tanaka, P Systems with energy accounting, Intern. J. Computer Math., to appear."},{"key":"5_CR35","unstructured":"Gh. P\u0103un, T. Yokomori, Membrane computing based on splicing, Preliminary Proc. of Fifth Intern. Meeting on DNA Based Computers (E. Winfree, D. Gifford, eds.), MIT, June 1999, 213\u2013227."},{"issue":"4","key":"5_CR36","doi-asserted-by":"crossref","first-page":"397","DOI":"10.3233\/FI-1999-38404","volume":"38","author":"Gh. P\u0103un","year":"1999","unstructured":"Gh. P\u0103un, S. Yu, On synchronization in P systems, Fundamenta Informaticae, 38, 4 (1999), 397\u2013410.","journal-title":"Fundamenta Informaticae"},{"key":"5_CR37","volume-title":"Handbook of Formal Languages","year":"1997","unstructured":"G. Rozenberg, A. Salomaa, eds., Handbook of Formal Languages, Springer-Verlag, Heidelberg, 1997."},{"issue":"1","key":"5_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1162\/artl.1994.2.1","volume":"2","author":"M. Sipper","year":"1995","unstructured":"M. Sipper, Studying Artificial Life using a simple, general cellular model, Artificial Life Journal, 2, 1 (1995), 1\u201335.","journal-title":"Artificial Life Journal"},{"key":"5_CR39","first-page":"61","volume-title":"Proc. Intern. Workshop Grammar Systems 2000","author":"Cl. Zandron","year":"2000","unstructured":"Cl. Zandron, G. Mauri, Cl. Ferretti, Universality and normal forms on membrane systems, Proc. Intern. Workshop Grammar Systems 2000 (R. Freund, A. Kelemenova, eds.), Bad Ischl, Austria, July 2000, 61\u201374."},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"Cl. Zandron, Cl. Ferretti, G. Mauri, Solving NP-complete problems using P systems with active membranes, Proc. Second Conf. Unconventional Models of Computing (I. Antoniou, C. S. Calude, M. J. Dinneen, eds.), Springer-Verlag, 2000, 289\u2013301.","DOI":"10.1007\/978-1-4471-0313-4_21"},{"key":"5_CR41","series-title":"TR","first-page":"296","volume-title":"Pre-proc. Workshop on Multiset Processing","author":"Cl. Zandron","year":"2000","unstructured":"Cl. Zandron, Cl. Ferretti, G. Mauri, Using membrane features in P systems, Pre-proc. Workshop on Multiset Processing, Curtea de Arge\u015f, Romania, TR 140, CDMTCS, Univ. Auckland, 2000, 296\u2013320."}],"container-title":["Lecture Notes in Computer Science","Machines, Computations, and Universality"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45132-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T01:51:58Z","timestamp":1588038718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45132-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421214","9783540451327"],"references-count":41,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-45132-3_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"published":{"date-parts":[[2001]]}}}