Weighted Logics for Traces

DOI10.1007/11753728_25MaRDI QIDQ3434698zbMATH OpenOpenAlexFDO

Authors Ingmar Meinecke

Publication date 2 May 2007

Published in Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11753728_25

Mathematics Subject Classification ID

Logic in computer science (03B70) Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Definable Transductions and Weighted Logics for Texts
• Definable transductions and weighted logics for texts
• Logical definability on infinite traces
• Logical definability on infinite traces
• Automata, Languages and Programming

Cited in

(22)

• A logic-based approach to incremental reasoning on multi-agent systems
• Weighted automata and weighted logics
• Weighted logics for unranked tree automata
• Weighted picture automata and weighted logics
• A Nivat theorem for weighted picture automata and weighted MSO logic
• Weighted automata and logics on infinite graphs
• Models for quantitative distributed systems and multi-valued logics
• Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics
• Weighted Automata and Weighted Logics with Discounting
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Weighted Timed MSO Logics
• Reasoning about bounds in weighted transition systems
• Weighted automata and weighted logics
• Pebble weighted automata and weighted logics
• Definable Transductions and Weighted Logics for Texts
• MSO logics for weighted timed automata
• Weighted tiling systems for graphs: evaluation complexity
• 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 logics on infinite words

This page was built for publication: Weighted Logics for Traces

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