Weighted Specifications over Nested Words
From MaRDI portal
Publication:4910432
DOI10.1007/978-3-642-37075-5_25zbMath1260.68228OpenAlexW1778516892MaRDI QIDQ4910432
Benjamin Monmege, Benedikt Bollig, Paul Gastin
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
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items
A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic., Two-way pebble transducers for partial functions and their composition