Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Contents: Volume 34, Number 1, 1991   [Index by Author] 
Other Issues: Previous Next  

Down Articles


[Search ALL Issues]

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.

Articles Back

M. Thomas
Editorial – Term Rewriting
The Computer Journal 1991 34: 1; doi:10.1093/comjnl/34.1.1 [PDF] [Request Permissions]  

A. J. J. Dick
An Introduction to Knuth–Bendix Completion
The Computer Journal 1991 34: 2-15; doi:10.1093/comjnl/34.1.2 [Abstract] [PDF] [Request Permissions]  

J. A. Vince
Review: Book Review
The Computer Journal 1991 34: 15; doi:10.1093/comjnl/34.1.15 [PDF] [Request Permissions]  

A. J. J. Dick and P. Watson
Order-sorted Term Rewriting
The Computer Journal 1991 34: 16-19; doi:10.1093/comjnl/34.1.16 [Abstract] [PDF] [Request Permissions]  

M. Hermann, C. Kirchner, and H. Kirchner
Implementations of Term Rewriting Systems
The Computer Journal 1991 34: 20-33; doi:10.1093/comjnl/34.1.20 [Abstract] [PDF] [Request Permissions]  

T. Nipkow
Constructive Rewriting
The Computer Journal 1991 34: 34-41; doi:10.1093/comjnl/34.1.34 [Abstract] [PDF] [Request Permissions]  

T. Drapkin
Review: Book Review
The Computer Journal 1991 34: 41; doi:10.1093/comjnl/34.1.41 [PDF] [Request Permissions]  

P. Padawitz
Reduction and Narrowing for Horn Clause Theories
The Computer Journal 1991 34: 42-51; doi:10.1093/comjnl/34.1.42 [Abstract] [PDF] [Request Permissions]  

P. Kacsuk
A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation
The Computer Journal 1991 34: 52-63; doi:10.1093/comjnl/34.1.52 [Abstract] [PDF] [Request Permissions]  

J. Paakki
Prolog in Practical Compiler Writing
The Computer Journal 1991 34: 64-72; doi:10.1093/comjnl/34.1.64 [Abstract] [PDF] [Request Permissions]  

B. Dwyer
Correspondence
The Computer Journal 1991 34: 72; doi:10.1093/comjnl/34.1.72 [PDF] [Request Permissions]  

L. Orman
Constraint Maintenance as a Data Model Design Criterion
The Computer Journal 1991 34: 73-79; doi:10.1093/comjnl/34.1.73 [Abstract] [PDF] [Request Permissions]  

F. B. Bastani, I.-R. Chen, and W. Hilal
A Model for the Stability Analysis of Maintenance Strategies for Linear List
The Computer Journal 1991 34: 80-87; doi:10.1093/comjnl/34.1.80 [Abstract] [PDF] [Request Permissions]  

Announcements
The Computer Journal 1991 34: 87; doi:10.1093/comjnl/34.1.87 [PDF] [Request Permissions]  

M. A. Weiss
Short Note: Empirical study of the expected running time of Shellsort
The Computer Journal 1991 34: 88-91; doi:10.1093/comjnl/34.1.88 [Abstract] [PDF] [Request Permissions]  

Announcements
The Computer Journal 1991 34: 91; doi:10.1093/comjnl/34.1.91 [PDF] [Request Permissions]  

J.-L. Wu and S.-T. Cheng
Short Note: A Neural Network Simulating System
The Computer Journal 1991 34: 92-93; doi:10.1093/comjnl/34.1.92 [Abstract] [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.