Crossmark

Reachability of Patterned Conditional Pushdown Systems

Crossref DOI link: https://doi.org/10.1007/s11390-020-0541-z

Published Online: 2020-11-30

Published Print: 2020-11

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Li, Xin

Gardy, Patrick

Deng, Yu-Xin

Seki, Hiroyuki
License Information

Text and Data Mining valid from 2020-11-01

Version of Record valid from 2020-11-01
More Information

Article History

Received: 11 April 2020

Revised: 9 October 2020

First Online: 30 November 2020