Works matching IS 00104620 AND DT 1991 AND VI 34 AND IP 1
Results: 17
Implementations of Term Rewriting Systems*.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 20
- By:
- Publication type:
- Article
Announcements.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 91
- Publication type:
- Article
A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 52
- By:
- Publication type:
- Article
Reduction and Narrowing for Horn Clause Theories.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 42
- By:
- Publication type:
- Article
Review: Book Review.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 41
- By:
- Publication type:
- Article
Short Note.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 92
- By:
- Publication type:
- Article
Constructive Rewriting.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 34
- By:
- Publication type:
- Article
Short Note.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 88
- By:
- Publication type:
- Article
Announcements.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 87
- Publication type:
- Article
A Model for the Stability Analysis of Maintenance Strategies for Linear List.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 80
- By:
- Publication type:
- Article
Constraint Maintenance as a Data Model Design Criterion.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 73
- By:
- Publication type:
- Article
Correspondence.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 72
- By:
- Publication type:
- Article
Prolog in Practical Compiler Writing.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 64
- By:
- Publication type:
- Article
Order-sorted Term Rewriting.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 16
- By:
- Publication type:
- Article
Review: Book Review.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 15
- By:
- Publication type:
- Article
An Introduction to Knuth–Bendix Completion.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 2
- By:
- Publication type:
- Article
Editorial – Term Rewriting.
- Published in:
- Computer Journal, 1991, v. 34, n. 1, p. 1
- By:
- Publication type:
- Article