Pushing for Weighted Tree Automata
From MaRDI portal
Publication:3088063
DOI10.1007/978-3-642-22993-0_42zbMath1343.68146arXiv1702.00304MaRDI QIDQ3088063
Andreas Maletti, Thomas Hanneforth, Daniel Quernheim
Publication date: 17 August 2011
Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1702.00304
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata
68Q70: Algebraic theory of languages and automata