488 search results - page 1 / 98 » Weighted Logics for Traces |
CSR
2006
Springer
14 years 25 days ago
2006
Springer
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 wi...
JSW
2006
13 years 10 months ago
2006
Abstract-- This paper describes a technique combining higher order functions, algebraic datatypes, and monads to incrementally implement syntax driven logics. Extensions can be com...
AAECC
2007
Springer
14 years 5 months ago
2007
Springer
The uniform distribution of the trace map lends itself very well to the construction of binary and non-binary codes from Galois fields and Galois rings. In this paper we study the...
EUSFLAT
2009
13 years 8 months ago
2009
WIA
2007
Springer
14 years 5 months ago
2007
Springer
We introduce a weighted logic with discounting and we establish B¨uchi’s and Elgot’s theorem for weighted automata over finite words and arbitrary commutative semirings. The...