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) |
1 | Stephan Foldes | [1] [2] |
2 | Lauri Hella | [5] |
3 | Jari Kivelä | [5] |
4 | Erkko Lehtonen | [2] [3] |
5 | Maurice Pouzet | [4] |