Weighted Logics for Traces

DOI10.1007/11753728_25zbMath1185.68450OpenAlexW1541148313MaRDI QIDQ3434698

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) Logic in computer science (03B70) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (20)

Weighted automata and weighted logics ⋮ Weighted automata and weighted logics with discounting ⋮ Definable transductions and weighted logics for texts ⋮ Weighted automata and weighted logics on infinite words ⋮ Weighted Automata and Weighted 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 unranked tree automata ⋮ Weighted picture automata and weighted logics ⋮ Weighted Logics for Nested Words and Algebraic Formal Power Series ⋮ A Büchi-like theorem for weighted tree automata over multioperator monoids ⋮ Pebble Weighted Automata and Weighted Logics ⋮ MSO logics for weighted timed automata ⋮ Unnamed Item ⋮ A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic ⋮ Weighted Automata and Logics on Infinite Graphs ⋮ Weighted Timed MSO Logics ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ Models for quantitative distributed systems and multi-valued logics

This page was built for publication: Weighted Logics for Traces