Login / Signup

Solving a PSPACE-complete problem by symport/antiport P systems with promoters and membrane division.

Bosheng SongXiangxiang Zeng
Published in: J. Membr. Comput. (2021)
Keyphrases
  • pspace complete
  • np complete
  • complex systems
  • decision problems
  • xml documents
  • sufficient conditions
  • cellular automata
  • temporal logic