Sciweavers

178 search results - page 1 / 36
» Boolean Algebras in Visser Algebras
Sort
View
JSYML
2008
82views more  JSYML 2008»
13 years 4 months ago
The number of openly generated Boolean algebras
This article is devoted to two different generalizations of projective Boolean algebras: openly generated Boolean algebras and tightly -filtered Boolean algebras. We show that for ...
Stefan Geschke, Saharon Shelah
EUROCRYPT
2006
Springer
13 years 8 months ago
Efficient Computation of Algebraic Immunity for Algebraic and Fast Algebraic Attacks
In this paper we propose several efficient algorithms for assessing the resistance of Boolean functions against algebraic and fast algebraic attacks when implemented in LFSRbased s...
Frederik Armknecht, Claude Carlet, Philippe Gabori...
MPC
2004
Springer
115views Mathematics» more  MPC 2004»
13 years 10 months ago
A Free Construction of Kleene Algebras with Tests
In this paper we define Kleene algebra with tests in a slightly more general way than Kozen’s definition. Then we give an explicit construction of the free Kleene algebra with...
Hitoshi Furusawa
WILF
2009
Springer
216views Fuzzy Logic» more  WILF 2009»
13 years 11 months ago
Barycentric Algebras and Gene Expression
Barycentric algebras have seen widespread application in the modeling of convex sets, semilattices, and quantum mechanics. Recently, they were developed further to encompass Boolea...
Anna B. Romanowska, Jonathan D. H. Smith
LICS
2006
IEEE
13 years 10 months ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra