Galois theory for Post algebras. I English translation, II Kibernetika Cybernetics, vol.3, issue.5, pp.1-10, 1969. ,
On the lattice of equational classes of Boolean functions and its closed intervals, J. Mult.-Valued Logic Soft Comput, vol.18, pp.81-104, 2008. ,
Definability of Boolean function classes by linear equations over GF(2), Discrete Applied Mathematics, vol.142, issue.1-3, pp.29-34, 2004. ,
DOI : 10.1016/j.dam.2003.09.002
On closed sets of relational constraints and classes of functions closed under variable substitutions, Algebra universalis, vol.54, issue.2, pp.149-165, 2005. ,
DOI : 10.1007/s00012-005-1933-1
Functional equations, constraints, definability of function classes, and functions of Boolean variables, Acta Cybernet, vol.18, pp.61-75, 2007. ,
Function classes and relational constraints stable under compositions with cloness, Discussiones Mathematicae - General Algebra and Applications, vol.29, issue.2, pp.109-121, 2009. ,
DOI : 10.7151/dmgaa.1153
On Equational Definability of Function Classes, 2011 41st IEEE International Symposium on Multiple-Valued Logic, pp.182-186, 2011. ,
DOI : 10.1109/ISMVL.2011.19
URL : https://hal.archives-ouvertes.fr/hal-01093668
Axiomatizations of Lovász extensions of pseudo-Boolean functions, Fuzzy Sets and Systems, pp.28-38, 2011. ,
On a quasi-ordering on Boolean functions, Theoretical Computer Science, vol.396, issue.1-3, pp.71-87, 2008. ,
DOI : 10.1016/j.tcs.2008.01.025
Equational characterizations of Boolean function classes, Discrete Math, pp.27-51, 2000. ,
Equational classes of Boolean functions via the HSP Theorem, Algebra Universalis, vol.44, issue.3-4, pp.309-324, 2000. ,
DOI : 10.1007/s000120050190
Post classes characterized by functional terms, Discrete Applied Mathematics, vol.142, issue.1-3, pp.35-51, 2004. ,
DOI : 10.1016/j.dam.2003.01.002
URL : http://doi.org/10.1016/j.dam.2003.01.002
Closed systems of functions and predicates, Pacific Journal of Mathematics, vol.27, issue.1, pp.95-100, 1968. ,
DOI : 10.2140/pjm.1968.27.95
On Boolean primitive positive clones, Discrete Math, pp.3151-3162, 2008. ,
An Introduction to the Theory of Functional Equations and Inequalities. Cauchy's Equation and Jensen's Inequality, 2009. ,
On detecting non-deducibility and non-expressibility, Logical deduction, pp.5-33, 1979. ,
Function Algebras on Finite Sets, 2006. ,
Submodular functions and convexity, Mathematical Programming: The state of the art, pp.235-257, 1982. ,
On the centralizers of monoids in clone theory, 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings., pp.303-308, 2003. ,
DOI : 10.1109/ISMVL.2003.1201421
Solutions of systems of functional equations of manyvalued logic, Comput. Math. Cybernet, vol.33, pp.197-201, 2009. ,
Galois theory for minors of finite functions, Discrete Math, pp.405-419, 2002. ,
On the lattice of clones acting bicentrally, Acta Cybernet, vol.6, pp.381-388, 1984. ,
Minimizing a Submodular Function on a Lattice, Operations Research, vol.26, issue.2, pp.305-321, 1978. ,
DOI : 10.1287/opre.26.2.305
75775 Paris Cedex 16, France E-mail address: miguel.couceiro@dauphine.fr (E. Lehtonen) Computer Science and Communications Research Unit, rue Richard Coudenhove-Kalergi, L-1359 Luxembourg, Luxembourg and Centro dé Algebra da Universidade de Lisboa, Avenida Professor Gama Pinto, pp.1649-1652 ,