7 search results - page 1 / 2 » On Pseudovarieties of Semiring Homomorphisms |
97
Voted
MFCS
2004
Springer
15 years 6 months ago
2004
Springer
100
Voted
TCS
2008
15 years 1 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...
138
Voted
IFIPTCS
2010
14 years 11 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...
141
Voted
ESOP
2012
Springer
13 years 8 months 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...
91
Voted
ISCI
2007
15 years 1 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...