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 1979
-
January 1979
-
January 1979
-
Recursive assertions are not enough -- or are they? Article
Theoretical Computer Science, 73-87.K.R. Apt (Krzysztof), J.A. Bergstra (Jan) and L.G.L.T. Meertens (Lambert)
January 1979
-
January 1979
-
January 1979
-
January 1979
-
January 1979