Weighted nested word automata and logics over strong bimonoids

DOI10.1007/978-3-642-31606-7_12MaRDI QIDQ2914701zbMATHOpenAlexFDO

Authors 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)

Recommendations

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

Cited in

(8)

• Bidirectional nested weighted automata
• scientific article; zbMATH DE number 6124028 (Why is no real title available?)
• Weighted specifications over nested words
• Weighted logics for nested words and algebraic formal power series
• Weighted nested word automata and logics over strong bimonoids
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• State complexity of operations on input-driven pushdown automata
• A Nivat theorem for weighted picture automata and weighted MSO logics

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)