Weighted Logics for Traces
DOI10.1007/11753728_25zbMATH Open1185.68450OpenAlexW1541148313MaRDI QIDQ3434698FDOQ3434698
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
Recommendations
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)
Cited In (21)
- Definable Transductions and Weighted Logics for Texts
- Definable transductions and weighted logics for texts
- Weighted automata and weighted logics with discounting
- Weighted automata and weighted logics
- A Büchi-like theorem for weighted tree automata over multioperator monoids
- Title not available (Why is that?)
- Weighted logics for unranked tree automata
- Weighted Automata and Logics on Infinite Graphs
- Weighted picture automata and weighted logics
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Weighted Automata and Weighted Logics
- Weighted Automata and Weighted Logics with Discounting
- Pebble Weighted Automata and Weighted Logics
- Weighted Timed MSO Logics
- MSO logics for weighted timed automata
- Models for quantitative distributed systems and multi-valued logics
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics
- A logic-based approach to incremental reasoning on multi-agent systems
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic
- 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)
