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: Comput. J.
Home
Index
Info
Issue
Volume
18
, Issue
1
7
--
11
K. A. Robinson
.
Database - The Ideas Behind the Ideas
12
--
17
S. J. Waters
.
Estimating Magnetic Disc Seeks
18
--
20
C. E. Goble
.
A Free-Text Retrieval System Using Hash Codes
21
--
22
C. T. Fike
.
A Permutation Generation Method
23
--
29
R. Haskell
.
Efficient Implementation of a Class of Recursively Defined Functions
30
--
33
Alfonso F. Cardenas
,
R. W. Seeley
.
A Simple Data Structure for Interactive Graphic Design/Drafting
34
--
42
John R. White
,
Leon Presser
.
A Structured Language for Translator Construction
43
--
48
Derek Partridge
.
A Dynamic Database Which Automatically Removes Unwanted Generalisation for the Efficient Analysis of Language Features that Exhibit a Disparate Frequency Distribution
49
--
54
James R. Slagle
,
Lewis M. Norton
.
Automated Theorem-Proving for the Theories of Partial and Total Ordering
55
--
62
Gaetano Aurelio Lanzarone
,
Mario Ornaghi
.
Program Construction by Refinements Preserving Correctness
63
--
69
F. G. Duncan
,
D. Zissos
,
Maureen Walls
.
A Postfix Notation for Logic Circuits
70
--
73
D. J. Evans
.
A Recursive Algorithm for Determining the Eigenvalues of a Quindiagonal Matrix
74
--
76
John C. Nash
.
A One-Sided Transformation Method for the Singular Value Decomposition and Algebraic Eigenproblem
77
--
80
F. Oliveira-Pinto
.
The Use of Derivatives in the Optimisation of the Truncation Error of Polynomial Approximations