TCOS
2008
13 years 4 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
JUCS
2008
13 years 4 months ago
2008
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
ENTCS
2006
13 years 4 months ago
2006
In this note we discuss some issues concerning a geometric approach to process algebra. We mainly raise questions and are not yet able to present significant answers.
ENTCS
2006
13 years 4 months ago
2006
This is an extended version of an essay with the same title that I wrote for the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, held in Bertinoro, Ita...
ENTCS
2006
13 years 4 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
FSS
2008
13 years 4 months ago
2008
The algebra of truth values of type-2 fuzzy sets is the set of all functions from the unit interval into itself, with operations de ned in terms of certain convolutions of these f...
DM
2008
13 years 4 months ago
2008
We prove the following result concerning the inheritance of hyper-duality by block and quotient Bose-Mesner algebras associated with a hyper-dual pair of imprimitive Bose-Mesner a...
ACS
2008
13 years 4 months ago
2008
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
SYRCODIS
2007
13 years 5 months ago
2007
Several requirements for algebra suitable for e cient cost-based optimization are presented. It is shown that known XML algebras do not fully satisfy this requirements. A new alge...
DLT
1993
13 years 5 months ago
1993
We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotoni...