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]

Abstract

Abstract is missing.