Weighted specifications over nested words

DOI10.1007/978-3-642-37075-5_25MaRDI QIDQ4910432zbMATH OpenOpenAlexFDO

Authors Benedikt Bollig, Paul Gastin, Benjamin Monmege

Publication date 18 March 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37075-5_25

Mathematics Subject Classification ID

Data structures (68P05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Weighted nested word automata and logics over strong bimonoids
• Weighted nested word automata and logics over strong bimonoids
• Weighted logics for nested words and algebraic formal power series

Cited in

(2)

• A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic.
• Two-way pebble transducers for partial functions and their composition

This page was built for publication: Weighted specifications over nested words

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