1916 search results - page 134 / 384 » Reasoning with class algebra |
69
Voted
EUSFLAT
2001
15 years 2 months ago
2001
The main concern of this paper is to introduce and characterize the class of operators on a finite chain L, having the same properties of pseudo-smooth uninorms but without commut...
118
click to vote
SLP
1994
15 years 2 months ago
1994
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...
90
Voted
BSL
2008
15 years 27 days ago
2008
This is an introductory survey of the emerging theory of two new classes of (discrete, countable) groups, called hyperlinear and sofic groups. They can be characterized as subgroup...
92
Voted
CORR
2007
Springer
15 years 23 days ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
JC
2006
15 years 23 days ago
2006
We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential s...