Login / Signup
Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes.
Artiom Alhazov
Carlos Martín-Vide
Linqiang Pan
Published in:
Fundam. Informaticae (2003)
Keyphrases
</>
pspace complete
np complete
complex systems
model checking