Science of Computer Programming
Collection
Collection
- ISSN: 0167-6423
Published by North-Holland
-
Proof rules and transformations dealing with fairness Article
Science of Computer Programming, 65-100.January 1983
-
Review of "Principles of concurrent programming" by Ben Ari Article
Science of Computer Programming, 4(2), 211-212.January 1984
-
An exercise in transformational programming: backtracking and branch-and-bound Article
Science of Computer Programming, 16(1), 19-48.January 1991
-
Foreword: Science of Computer Programming Vol: 21 Nr: 2 Article
Science of Computer Programming, 21(2), 91-92.October 1993
-
Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings
January 1996 -
Systolic arrays for the recognition of permutation-invariant segments Article
Science of Computer Programming, 27(2), 119-137.January 1996 -
Detecting feature interactions with Caesar / Aldébaran Article
Science of Computer Programming, 29(1-2), 259-278.July 1997
-
Program plan recognition for year 2000 tools Article
Science of Computer Programming, 36(2-3), 303-324.March 2000