On positive, linear and quadratic Boolean functions
Sergiu Rudeanu (2012)
Kragujevac Journal of Mathematics
Similarity:
Sergiu Rudeanu (2012)
Kragujevac Journal of Mathematics
Similarity:
Grzegorz Bancerek (2012)
Formalized Mathematics
Similarity:
We introduce an algebra with free variables, an algebra with undefined values, a program algebra over a term algebra, an algebra with integers, and an algebra with arrays. Program algebra is defined as universal algebra with assignments. Programs depend on the set of generators with supporting variables and supporting terms which determine the value of free variables in the next state. The execution of a program is changing state according to successor function using supporting terms. ...
Antonio Aizpuru (1996)
Colloquium Mathematicae
Similarity:
We study local interpolation properties and local supremum properties for a Boolean algebra. In particular, we present a new condition that is sufficient for the Nikodym property.
Grzegorz Bancerek (2013)
Formalized Mathematics
Similarity:
We analyse three algorithms: exponentiation by squaring, calculation of maximum, and sorting by exchanging in terms of program algebra over an algebra.
Jörg Flum (1999)
Banach Center Publications
Similarity:
Rasiowa and Sikorski [5] showed that in any Boolean algebra there is an ultrafilter preserving countably many given infima. In [3] we proved an extension of this fact and gave some applications. Here, besides further remarks, we present some of these results in a more general setting.
Gonda, J. (2009)
Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
Similarity:
Jaroslav Nešetřil, Patrice Ossona de Mendez (2012)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The goal of this paper is to unify two lines in a particular area of graph limits. First, we generalize and provide unified treatment of various graph limit concepts by means of a combination of model theory and analysis. Then, as an example, we generalize limits of bounded degree graphs from subgraph testing to finite model testing.
Fon-Der-Flaass, D.G. (2007)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
Gonda, J. (2007)
Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
Similarity:
Paolo de Lucia, Pavel Pták (1999)
Colloquium Mathematicae
Similarity: