dblp.uni-trier.dewww.uni-trier.de

Miguel Couceiro

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEMiguel 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)
4EEMiguel Couceiro, Maurice Pouzet: On a quasi-ordering on Boolean functions. Theor. Comput. Sci. 396(1-3): 71-87 (2008)
2007
3EEMiguel 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
2EEMiguel Couceiro, Stephan Foldes, Erkko Lehtonen: Composition of Post classes and normal forms of Boolean functions. Discrete Mathematics 306(24): 3223-3243 (2006)
2004
1EEMiguel Couceiro, Stephan Foldes: Definability of Boolean function classes by linear equations over GF(2). Discrete Applied Mathematics 142(1-3): 29-34 (2004)

Coauthor Index

1Stephan Foldes [1] [2]
2Lauri Hella [5]
3Jari Kivelä [5]
4Erkko Lehtonen [2] [3]
5Maurice Pouzet [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)