<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Damien Woods</style></author><author><style face="normal" font="default" size="100%">Niall Murphy</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author><author><style face="normal" font="default" size="100%">Agustín Riscos-Núñez</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Membrane dissolution and division in P</style></title><secondary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year><pub-dates><date><style  face="normal" font="default" size="100%">09/2009</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.springerlink.com/content/087g35593267861m/</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Berlin / Heidelberg</style></publisher><pub-location><style face="normal" font="default" size="100%">Heidelberg, Alemania</style></pub-location><volume><style face="normal" font="default" size="100%">5717</style></volume><pages><style face="normal" font="default" size="100%">262-276</style></pages><isbn><style face="normal" font="default" size="100%">978-3-642-03744-3 </style></isbn><abstract><style face="normal" font="default" size="100%">Membrane systems with dividing and dissolving membranes are known to solve PSPACE problems in polynomial time. However, we give a P upperbound on an important restriction of such systems. In particular we examine systems with dissolution, elementary division and where each membrane initially has at most one child membrane. Even though such systems may create exponentially many membranes, each with different contents, we show that their power is upperbounded by P.
This work is supported by a Project of Excellence TIC-581 from the Junta de Andalucía, project TIN 2006 13425 of Ministerio de Educación y Ciencia of Spain, and the Irish Research Council for Science, Engineering and Technology.</style></abstract></record></records></xml>