Signaling P Systems and Verification Problems.

Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen

Browse the full ICALP paper archive.