7 search results - page 1 / 2 » On Pseudovarieties of Semiring Homomorphisms |
MFCS
2004
Springer
13 years 10 months ago
2004
Springer
TCS
2008
13 years 4 months ago
2008
Eilenberg's variety theorem gives a bijective correspondence between varieties of languages and varieties of finite monoids. The second author gave a similar relation between...
IFIPTCS
2010
13 years 2 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
ESOP
2012
Springer
12 years 18 days ago
2012
Springer
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...
ISCI
2007
13 years 4 months ago
2007
We define the Lukasiewicz transform as a residuated map and a homomorphism between semimodules over the semiring reducts of an MV-algebra. Then we describe the “Lukasiewicz Tra...