CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Distributed iterated elimination of strictly dominated strategies Article
Autonomous Agents and Multi-Agent Systems, 25(2), 395-418.S. A. Witzel (Andreas), K.R. Apt (Krzysztof) and J.A. Zvesper (Jonathan)
January 2012
-
Verification of object-oriented programs: A transformational approach Article
Journal of Computer and System Sciences, 78(3), 823-852.K.R. Apt (Krzysztof), F.S. de Boer (Frank), E.R. Olderog (Ernst-Rüdiger) and C.P.T. de Gouw (Stijn)
January 2012
-
Book review of 'A strange wilderness: The lives of the great mathematicians' by Amir D. Aczel Article
Nieuw Archief voor Wiskunde, 13(5), 138-138.January 2012 -
MonetDB Dec2011 feature release Software
M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), F.E. Groffen (Fabian), J.A. de Rijke (Arjen), Y. Zhang (Ying), M.G. Ivanova (Milena), S. Idreos (Stratos), et al. R.A. Pereira Goncalves (Romulo Antonio), E. Sidirourgos (Eleftherios), E. Liarou (Erietta), H. Pirk (Holger), M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), T.H.J. Sellam (Thibault), Y. Kargin (Yagiz), M.M. Gawade (Mrunal) and V.V. Meduri (Vamsi)
January 2012 -
Book review of 'Logic: A brief course' by Daniele Mundici Article
Theory and Practice of Logic Programming, 12(3), 417-419.January 2012
-
Two three pages papers Book Chapter
January 2012
-
Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book
January 2012
-
January 2012