A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem
From MaRDI portal
Publication:2798715
DOI10.1007/978-3-319-30000-9_10zbMath1443.03018OpenAlexW2407673144MaRDI QIDQ2798715
Luisa Herrmann, Heiko Vogler, Manfred Droste
Publication date: 13 April 2016
Published in: Language and Automata Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-30000-9_10
Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Higher-order logic (03B16)
Related Items (7)
Weighted iterated linear control ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Weighted automata with storage ⋮ Weighted Symbolic Automata with Data Storage ⋮ Principal abstract families of weighted tree languages ⋮ Logic for \(\omega\)-pushdown automata
This page was built for publication: A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem
