CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
Polyhedra with the integer Caratheodory property Article
Journal of Combinatorial Theory - Series B, 102(1), 62-70.January 2012
-
January 2012
-
Negotiated Grammar Transformation Presentation
January 2012 -
Automated Verification of Recursive Programs with Pointers In Proceedings
F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and J.C. Rot (Jurriaan)
January 2012