CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A new algorithm for 3D binary tomography In Proceedings
January 2005 -
Normal forms for characteristic functions on n-ary relations Article
Journal of Logic and Computation, 85-98.January 2005 -
A new algorithm for 3D binary tomography In Proceedings
January 2005 -
Neural networks for discrete tomography In Proceedings
January 2005 -
January 2005
-
Common knowledge in update logics In Proceedings
J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and B. Kooi
January 2005 -
An architecture for context-sensitive formatting In Proceedings
M.G.J. van den Brand (Mark), A.T. Kooiker (Taeke), J.J. Vinju (Jurgen) and N.P. Veerman
January 2005 -
A generator of efficient strongly typed abstract syntax trees in Java Article
Software, IEE Proceedings , 152(2), 70-79.M.G.J. van den Brand (Mark), P.-E. Moreau and J.J. Vinju (Jurgen)
January 2005