7 search results - page 1 / 2 » acta 2004 |
83
Voted
ACTA
2004
15 years 20 days ago
2004
86
Voted
ACTA
2004
15 years 20 days ago
2004
109
Voted
ACTA
2004
15 years 20 days ago
2004
Abstract. This paper addresses the problem of removing the polarizations of membranes from P systems with active membranes
89
Voted
ACTA
2004
15 years 20 days 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...
104
Voted
ACTA
2004
15 years 20 days 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...