Branching Pushdown Tree Automata
From MaRDI portal
Publication:5386002
DOI10.1007/11944836_36zbMath1177.68135OpenAlexW2119112610MaRDI QIDQ5386002
Publication date: 17 April 2008
Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11944836_36
This page was built for publication: Branching Pushdown Tree Automata
