Crossmark

Pushdown automata and constant height: decidability and bounds

Crossref DOI link: https://doi.org/10.1007/s00236-022-00434-0

Published Online: 2022-07-27

Published Print: 2023-06

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

Authors

Pighizzini, Giovanni https://orcid.org/0000-0002-7509-7842
Prigioniero, Luca https://orcid.org/0000-0001-7163-4965
Funding

Funding for this research was provided by:

Università degli Studi di Milano
License Information

Text and Data Mining valid from 2022-07-27

Version of Record valid from 2022-07-27
More Information

Article History

Received: 29 September 2020

Accepted: 6 July 2022

First Online: 27 July 2022