3624 search results - page 94 / 725 » Abstract Algebraic Logic |
128
click to vote
FCT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Generalising modules over associative rings, the notion of modules for an endofunctor of any category is well established and useful in large parts of mathematics includi...
133
click to vote
FSE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We develop several tools to derive linear independent multivariate equations from algebraic S-boxes. By applying them to maximally nonlinear power functions with the inve...
124
click to vote
STACS
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. A solid object in 3-dimensional space may be described by a collection of all its topologically distinct 2-dimensional appearances, its aspect graph. In this paper, we st...
132
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
119
click to vote
ISMVL
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...