178 search results - page 4 / 36 » Boolean Algebras in Visser Algebras |
79
Voted
TIME
2008
IEEE
15 years 4 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
105
click to vote
SETA
2010
Springer
14 years 8 months ago
2010
Springer
It is a difficult challenge to find Boolean functions used in stream ciphers achieving all of the necessary criteria and the research of such functions has taken a significant d...
ENTCS
2007
14 years 9 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
107
click to vote
INDOCRYPT
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we analyse the algebraic immunity of symmetric Boolean functions. We identify a set of lowest degree annihilators for symmetric functions and propose an efficient al...
100
click to vote
DEON
2010
Springer
14 years 9 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...