 | 2008 |
|---|
| 6 |       | 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) |
| 5 | | Miguel Couceiro,
Maurice Pouzet:
On a quasi-ordering on Boolean functions.
Theor. Comput. Sci. 396(1-3): 71-87 (2008) |
| 2007 |
|---|
| 4 | | Miguel Couceiro,
Stephan Foldes:
Functional Equations, Constraints, Definability of Function Classes, and Functions of Boolean Variables.
Acta Cybern. 18(1): 61-75 (2007) |
| 3 | | 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 | | 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 | | Miguel Couceiro,
Stephan Foldes:
Definability of Boolean function classes by linear equations over GF(2).
Discrete Applied Mathematics 142(1-3): 29-34 (2004) |
