Reachability of Patterned Conditional Pushdown Systems

Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki. Reachability of Patterned Conditional Pushdown Systems. J. Comput. Sci. Technol., 35(6):1295-1311, 2020. [doi]

Authors

Xin Li

This author has not been identified. Look up 'Xin Li' in Google

Patrick Gardy

This author has not been identified. Look up 'Patrick Gardy' in Google

Yuxin Deng

This author has not been identified. Look up 'Yuxin Deng' in Google

Hiroyuki Seki

This author has not been identified. Look up 'Hiroyuki Seki' in Google