Weighted Logics for Traces

DOI10.1007/11753728_25MaRDI QIDQ3434698zbMATHOpenAlexFDO

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

(21)

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