Weighted Automata and Weighted Logics on Infinite Words

DOI10.1007/11779148_6MaRDI QIDQ3617045zbMATH OpenOpenAlexFDO

Authors Manfred Droste, George Rahonis

Publication date 26 March 2009

Published in Developments in Language Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11779148_6

zbMATH Keywords

weighted logicsinfinitary formal power seriesweighted Muller automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• Weighted automata and weighted logics on infinite words
• Weighted Muller tree automata and weighted logics
• Weighted automata and weighted logics
• Weighted automata and weighted logics
• Automata, Languages and Programming

Cited in

(37)

• Weighted automata and weighted logics on infinite words
• Weighted Muller tree automata and weighted logics
• Integer weighted automata on infinite words
• ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
• Weighted versus Probabilistic Logics
• Weighted recognizability over infinite alphabets
• scientific article; zbMATH DE number 2040326 (Why is no real title available?)
• Definable transductions and weighted logics for texts
• Weighted automata and weighted logics with discounting
• Weighted automata and logics on infinite graphs
• Weighted automata and weighted logics
• Weighted Linear Dynamic Logic
• Weighted automata and weighted logics
• Monitor Logics for Quantitative Monitor Automata
• scientific article; zbMATH DE number 7561720 (Why is no real title available?)
• scientific article; zbMATH DE number 6987096 (Why is no real title available?)
• Bidirectional nested weighted automata
• A Weighted μ-Calculus on Words
• Weighted automata and logics on graphs
• Weighted picture automata and weighted logics
• Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices
• Weighted variable automata over infinite alphabets
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Automata-based axiom pinpointing
• Chains and Superchains for ω-Rational Sets, Automata and Semigroups
• A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem
• Weighted Automata and Weighted Logics with Discounting
• Weighted Automata, Formal Power Series and Weighted Logic
• Weight assignment logic
• A Nivat theorem for weighted picture automata and weighted MSO logic
• Automata-Based Axiom Pinpointing
• MSO logics for weighted timed automata
• Weighted Timed MSO Logics
• Automata, Languages and Programming
• Quantitative vs. weighted automata
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• The inclusion problem for weighted automata on infinite trees

This page was built for publication: Weighted Automata and Weighted Logics on Infinite Words

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