7 search results - page 1 / 2 » acta 2004 |
ACTA
2004
13 years 4 months ago
2004
ACTA
2004
13 years 4 months ago
2004
ACTA
2004
13 years 4 months ago
2004
Abstract. This paper addresses the problem of removing the polarizations of membranes from P systems with active membranes
ACTA
2004
13 years 4 months ago
2004
The generative capability of several variants of P systems with symport/antiport is studied via the simulation of counter automata. This leads to the reduction of the complexity, e...
ACTA
2004
13 years 4 months ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...