Profinite semigroups and applications, NATO Science Series II: Mathematics, Physics and Chemistry, vol.207, pp.1-45, 2005. ,
Galois theory for Post algebras I-II, Kibernetika (Kiev) Cybernetics and Systems Analysis, vol.3, issue.5, pp.1-10, 1969. ,
A Course in Universal Algebra, Graduate Texts in Mathematics, vol.78, 1981. ,
DOI : 10.1007/978-1-4613-8130-3
On the lattice of equational classes of Boolean functions and its closed intervals, Journal of Multiple-Valued Logic and Soft Computing, vol.18, pp.81-104, 2008. ,
Composition of Post classes and normal forms of Boolean functions, Discrete Math, pp.3223-3243, 2006. ,
Functional equations, constraints, definability of function classes, and functions of Boolean variables, Acta Cybernet, vol.18, pp.61-75, 2007. ,
Decompositions of functions based on arity gap, Discrete Math, pp.312-238, 2012. ,
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. ,
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
Existence of k-valued closed classes without a finite basis, Dokl. Akad. Nauk SSSR, vol.127, pp.44-46, 1959. ,
Function algebras on finite sets, 2006. ,
Finitary approximations and metric structure of the space of clones, Proceedings 25th International Symposium on Multiple-Valued Logic, pp.200-205 ,
DOI : 10.1109/ISMVL.1995.513532
Galois theory for minors of finite functions, Discrete Math, pp.405-419, 2002. ,
The two-valued iterative systems of mathematical logic, Annals of Mathematics Studies, issue.5, 1941. ,
DOI : 10.1515/9781400882366
The q-theory of finite semigroups, 2009. ,
DOI : 10.1007/b104443
¨ Uber die funktionale Vollständigkeit in den mehrwertigen Logiken, Rozpravy?eskoslovenskeRozpravy?Rozpravy?eskoslovenske Akademie V?d, pp.3-93, 1970. ,
On Composition-Closed Classes of Boolean Functions, 2011 41st IEEE International Symposium on Multiple-Valued Logic, pp.493-518, 2012. ,
DOI : 10.1109/ISMVL.2011.35
Rua do Campo Alegre 687, 4169-007 Porto, Portugal, jalmeida[at]fc.up.pt LAMSADE -CNRS ,