Weighted nested word automata and logics over strong bimonoids

DOI10.1007/978-3-642-31606-7_12zbMATH Open1297.68124OpenAlexW38805521MaRDI QIDQ2914701FDOQ2914701

Manfred Droste, Bundit Pibaljommee

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

Recommendations

• Weighted nested word automata and logics over strong bimonoids
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Weighted automata and logics for infinite nested words
• Weighted automata and logics for infinite nested words
• Weighted logics for nested words and algebraic formal power series

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• Bidirectional nested weighted automata
• State complexity of operations on input-driven pushdown automata
• Weighted nested word automata and logics over strong bimonoids
• A Nivat theorem for weighted picture automata and weighted MSO logics
• Weighted automata and logics for infinite nested words

This page was built for publication: Weighted nested word automata and logics over strong bimonoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914701)