Weighted Logics for Nested Words and Algebraic Formal Power Series

DOI10.1007/978-3-540-70583-3_19zbMath1156.68037arXiv1001.2175MaRDI QIDQ3519504

Christian Mathissen

Publication date: 19 August 2008

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1001.2175

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03B70: Logic in computer science

03D05: Automata and formal grammars in connection with logical questions

68Q70: Algebraic theory of languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Unnamed Item, Unnamed Item, Unnamed Item, Weighted automata and logics for infinite nested words, A Büchi-like theorem for weighted tree automata over multioperator monoids, Weighted automata and multi-valued logics over arbitrary bounded lattices, Weighted automata and weighted logics with discounting, Definable transductions and weighted logics for texts, Weighted automata and weighted MSO logics for average and long-time behaviors, Logic for \(\omega\)-pushdown automata, Weighted logics for unranked tree automata, Weighted picture automata and weighted logics, Weighted Automata and Logics on Infinite Graphs, A Logical Characterization of Timed Pushdown Languages, Weighted Timed MSO Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weighted tree automata and weighted logics
• Monadic second-order definable graph transductions: a survey
• Weighted automata and weighted logics
• Weighted Logics for Traces
• Visibly pushdown languages
• Adding Nesting Structure to Words
• Weighted Automata and Weighted Logics on Infinite Words
• Definable Transductions and Weighted Logics for Texts
• Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
• Weighted Picture Automata and Weighted Logics
• Automata, Languages and Programming