Weighted Logics for Nested Words and Algebraic Formal Power Series

DOI10.1007/978-3-540-70583-3_19zbMath1156.68037arXiv1001.2175OpenAlexW1571963071MaRDI 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

Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (17)

Weighted automata and weighted logics with discounting ⋮ Definable transductions and weighted logics for texts ⋮ Weighted Automata and Weighted Logics ⋮ A Logical Characterization of Timed Pushdown Languages ⋮ Weighted automata and weighted MSO logics for average and long-time behaviors ⋮ Weighted logics for unranked tree automata ⋮ Weighted picture automata and weighted logics ⋮ A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. ⋮ Weighted automata and logics for infinite nested words ⋮ A Büchi-like theorem for weighted tree automata over multioperator monoids ⋮ Weighted Automata and Logics on Infinite Graphs ⋮ Weighted Timed MSO Logics ⋮ Logic for \(\omega\)-pushdown automata ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices ⋮ Monitor Logics for Quantitative Monitor Automata ⋮ Weighted Operator Precedence Languages ⋮ A logic-based approach to incremental reasoning on multi-agent systems

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

This page was built for publication: Weighted Logics for Nested Words and Algebraic Formal Power Series