Centrum Wiskunde & Informatica

Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables Article

Journal of Computer and System Sciences, 78(1), 151-163.

G. Gutin, L.J.J. van Iersel (Leo), M. Mnich (Matthias) and A. Yeo

January 2012
Questions about Voting Rules, With Some Answers Book Chapter

D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

January 2012
Natalie-WEB. Network alignment Software

M. El-Kebir (Mohammed), B.W. Brandt (Bernd), J. Heringa (Jaap) and G.W. Klau (Gunnar)

January 2012
Action Emulation between Canonical Models In Proceedings

D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

January 2012
Book review of 'Logic: A brief course' by Daniele Mundici Article

Theory and Practice of Logic Programming, 12(3), 417-419.

K.R. Apt (Krzysztof)

January 2012
Two three pages papers Book Chapter

K.R. Apt (Krzysztof)

January 2012
Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book

January 2012
Cycle killer... qu'est-ce que c'est? On the comparative approximability of hybridization number and directed feedback vertex set Article

SIAM Journal on Discrete Mathematics, 26(4), 1635-1656.

S.M. Kelk (Steven), L.J.J. van Iersel (Leo), N. Lekic (Nela), S. Linz, C. Scornavacca and L. Stougie (Leen)

January 2012

Previous

Next