2008 |
5 | EE | Miguel Couceiro,
Lauri Hella,
Jari Kivelä:
Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic.
Logic Journal of the IGPL 16(1): 43-73 (2008) |
4 | EE | Miguel Couceiro,
Maurice Pouzet:
On a quasi-ordering on Boolean functions.
Theor. Comput. Sci. 396(1-3): 71-87 (2008) |
2007 |
3 | EE | Miguel Couceiro,
Erkko Lehtonen:
On the Effect of Variable Identification on the Essential Arity of Functions on Finite Sets.
Int. J. Found. Comput. Sci. 18(5): 975-986 (2007) |
2006 |
2 | EE | Miguel Couceiro,
Stephan Foldes,
Erkko Lehtonen:
Composition of Post classes and normal forms of Boolean functions.
Discrete Mathematics 306(24): 3223-3243 (2006) |
2004 |
1 | EE | Miguel Couceiro,
Stephan Foldes:
Definability of Boolean function classes by linear equations over GF(2).
Discrete Applied Mathematics 142(1-3): 29-34 (2004) |