Progress measures, immediate determinacy, and a subset construction for tree automata

DOI10.1016/0168-0072(94)90086-8zbMath0821.68084OpenAlexW2059837071MaRDI QIDQ1337694

Could not fetch data.

Publication date: 19 September 1995

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)90086-8

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.