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 1995
-
January 1995
-
January 1995
-
Program verification and Prolog Book Chapter
January 1995
-
Handbook of algebra Book
January 1995 -
Index : Theoretical computer science 1995 Article
Theoretical Computer Science, 195-313.January 1995
-
Verification of logic programs with delay declarations In Proceedings
January 1995
-
Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings
January 1995