Journal: International Journal of Parallel Programming

Volume 9, Issue 1

1 -- 13Julius T. Tou. An approach to understanding geometrical configurations by computer
15 -- 29C. J. Stephenson. A method for constructing binary search trees by making insertions at the root
31 -- 53T. S. E. Maibaum, Carlos José Pereira de Lucena. Higher order data types
55 -- 61Tsong Yueh Chen. Formalization of correctness of recursive definitions
63 -- 72James M. Lemme, John R. Rice. Adaptive quadrature algorithms for the ILLIAC IV