researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: International Journal of Parallel Programming
Home
Index
Info
Issue
Volume
9
, Issue
1
1
--
13
Julius T. Tou
.
An approach to understanding geometrical configurations by computer
15
--
29
C. J. Stephenson
.
A method for constructing binary search trees by making insertions at the root
31
--
53
T. S. E. Maibaum
,
Carlos José Pereira de Lucena
.
Higher order data types
55
--
61
Tsong Yueh Chen
.
Formalization of correctness of recursive definitions
63
--
72
James M. Lemme
,
John R. Rice
.
Adaptive quadrature algorithms for the ILLIAC IV