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

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Logic in computer science (03B70) 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)

• Weighted automata and weighted logics on infinite words
• Pebble weighted automata and weighted logics
• Definable Transductions and Weighted Logics for Texts
• 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 automata and weighted logics
• A Büchi-like theorem for weighted tree automata over multioperator monoids
• scientific article; zbMATH DE number 6987096 (Why is no real title available?)
• Weighted logics for unranked tree automata
• Weighted tiling systems for graphs: evaluation complexity
• Weighted picture automata and weighted logics
• Weighted Logics for Nested Words and Algebraic Formal Power Series
• Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics
• Weighted Automata and Weighted Logics with Discounting
• A Nivat theorem for weighted picture automata and weighted MSO logic
• MSO logics for weighted timed automata
• Weighted Timed MSO Logics
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Models for quantitative distributed systems and multi-valued logics
• A logic-based approach to incremental reasoning on multi-agent systems

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)