{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T04:36:53Z","timestamp":1778042213727,"version":"3.51.4"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,6,27]],"date-time":"2006-06-27T00:00:00Z","timestamp":1151366400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2006,8]]},"DOI":"10.1007\/s00236-006-0018-8","type":"journal-article","created":{"date-parts":[[2006,6,26]],"date-time":"2006-06-26T11:19:07Z","timestamp":1151320747000},"page":"131-145","source":"Crossref","is-referenced-by-count":70,"title":["Solving HPP and SAT by P Systems with Active Membranes and Separation Rules"],"prefix":"10.1007","volume":"43","author":[{"given":"Linqiang","family":"Pan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artiom","family":"Alhazov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,27]]},"reference":[{"issue":"2","key":"18_CR1","first-page":"66","volume":"58","author":"A. Alhazov","year":"2003","unstructured":"Alhazov A., Mart\u00ed n-Vide C., Pan L. (2003). Solving a PSPACE-complete problem by P systems with restricted active membranes. Fundam. Inf. 58(2):66\u201377","journal-title":"Fundam. Inf."},{"issue":"1","key":"18_CR2","first-page":"141","volume":"7","author":"A. Alhazov","year":"2004","unstructured":"Alhazov A., Pan L. (2004). Polarizationless P systems with active membranes. Grammars 7(1):141\u2013159","journal-title":"Grammars"},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/s00236-004-0153-z","volume":"41","author":"A. Alhazov","year":"2004","unstructured":"Alhazov A., Pan L., P\u0103un Gh. (2004). Trading polarizations for labels in P systems with active membranes. Acta Inf. 41:111\u2013144","journal-title":"Acta Inf."},{"key":"18_CR4","unstructured":"Alhazov, A., Ishdorj, T.-O.: Membrane Operations in P Systems with Active Membranes. In: P\u0103un, Gh., Riscos-N\u00fa\u00f1ez, A., Romero-Jim\u00e9nez, A., Sancho-Capparini, F. (eds.) Second Brainstorming Week on Membrane Computing, Sevilla, 2\u20137 February. Research Group in Natural Computing TR 01\/2004, University of Sevilla, 37\u201344 (2004)"},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1034\/j.1600-0854.2000.010804.x","volume":"1","author":"K.N.J. Burger","year":"2000","unstructured":"Burger K.N.J. (2000). Greasing membrane fusion and fission machineries. Traffic 1:605\u2013613","journal-title":"Traffic"},{"key":"18_CR6","unstructured":"Garey, M.R., Johnson, D.J.: Computers and Intractability. A Guide to the Theory of NP-Completeness. W. H. Freeman, San Francisco (1979)."},{"key":"18_CR7","unstructured":"Pan, L., Alhazov, A., Ishdorj, T.-O.: Further Remarks on P Systems with Active Membranes, Separation, Merging and Release Rules. In: P\u0103un, Gh., Riscos-N\u00fa\u00f1ez, A., Romero-Jim\u00e9nez, A., Sancho-Capparini, F. (eds.) Second Brainstorming Week on Membrane Computing, Sevilla, 2\u20137 February. Research Group in Natural Computing TR 01\/2004, University of Sevilla, pp. 316\u2013324. Also in Soft Comput. 8, 1\u20135 (2004)"},{"key":"18_CR8","volume-title":"Computational Complexity","author":"Ch.P. Papadimitriou","year":"1994","unstructured":"Papadimitriou Ch.P. (1994). Computational Complexity, Addison-Wesley, Reading"},{"key":"18_CR9","first-page":"187","volume-title":"Unconventional Models of Computation.","author":"A. P\u0103un","year":"2000","unstructured":"P\u0103un A. (2000). On P Systems with Membrane Division. In: Antoniou I., Calude C.S., Dinneen M.J. (eds) Unconventional Models of Computation. Springer, London, pp. 187\u2013201"},{"issue":"1","key":"18_CR10","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"Gh. P\u0103un","year":"2000","unstructured":"P\u0103un Gh. (2000). Computing with membranes. J. Comput. Syst. Sci. 61(1):108\u2013143","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"18_CR11","first-page":"75","volume":"6","author":"Gh. P\u0103un","year":"2001","unstructured":"P\u0103un Gh. (2001). P systems with active membranes: attacking NP-complete problems. J. Automata Lang. Combinatorics 6(1):75\u201390","journal-title":"J. Automata Lang. Combinatorics"},{"key":"18_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Computing with Membranes: an introduction","author":"Gh. P\u0103un","year":"2002","unstructured":"P\u0103un Gh. (2002). Computing with Membranes: an introduction. Springer, Berlin Heidelberg New York"},{"issue":"3","key":"18_CR13","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1023\/A:1025449224520","volume":"2","author":"M.J. P\u00e9rez-Jim\u00e9nez","year":"2003","unstructured":"P\u00e9rez-Jim\u00e9nez M.J., Romero-Jim\u00e9nez A., Sancho-Caparrini F. (2003). Complexity classes in models of cellular computation with membranes. Nat. Comput. 2(3):265\u2013285","journal-title":"Nat. Comput."},{"key":"18_CR14","unstructured":"P\u00e9rez-Jim\u00e9nez, M.J., Romero-Jim\u00e9nez, A., Sancho-Caparrini, F.: Teor\u00eda de la Complejidad en Modelos de Computati\u00f3n Celular con Membranas, Editorial Kronos, Sevilla, (2002)"},{"key":"18_CR15","volume-title":"Handbook of Formal Languages (3 volumes)","year":"1997","unstructured":"Rozenberg G., Salomaa A. (eds) (1997). Handbook of Formal Languages (3 volumes). Springer, Berlin Heidelberg New York"},{"key":"18_CR16","volume-title":"Formal Languages","author":"A. Salomaa","year":"1973","unstructured":"Salomaa A. (1973). Formal Languages. Academic, New York"},{"key":"18_CR17","unstructured":"Sos\u00ed k, P.: Solving a PSPACE-Complete Problem by P Systems with Active Membranes. In: Proceedings of the Brainstorming Week on Membrane Computing (Cavaliere, M., Mart\u00edn-Vide, C., P\u0103un, Gh. (eds.) Report GRLMC 26\/03, pp 305\u2013312 (2003)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-006-0018-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-006-0018-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-006-0018-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:41:53Z","timestamp":1558705313000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-006-0018-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,27]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,8]]}},"alternative-id":["18"],"URL":"https:\/\/doi.org\/10.1007\/s00236-006-0018-8","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6,27]]}}}