Sciweavers

Share
CSR
2006
Springer

Weighted Logics for Traces

9 years 3 days ago
Weighted Logics for Traces
Abstract. We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series with those which are definable by restricted formulas from a weighted logics over traces. We use a translation technique from formulas over words to those over traces, and vice versa. This way, we show also the equivalence of aperiodic and first-order definable trace series.
Ingmar Meinecke
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2006
Where CSR
Authors Ingmar Meinecke
Comments (0)
books