Weighted Nested Word Automata and Logics over Strong Bimonoids

DOI10.1007/978-3-642-31606-7_12zbMath1297.68124OpenAlexW38805521MaRDI QIDQ2914701

Bundit Pibaljommee, Manfred Droste

Publication date: 20 September 2012

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31606-7_12

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (2)

State complexity of operations on input-driven pushdown automata ⋮ Weighted automata and logics for infinite nested words

This page was built for publication: Weighted Nested Word Automata and Logics over Strong Bimonoids