Connecting you to content on EBSCOhost

Works matching IS 00104620 AND DT 1991 AND VI 34 AND IP 1

Results: 17

1

Implementations of Term Rewriting Systems*.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 20

By:

Hermann, M.;
Kirchner, C.;
Kirchner, H.

Publication type:

Article

2

Announcements.

Published in:: Computer Journal, 1991, v. 34, n. 1, p. 91
Publication type:: Article

3

A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 52

By:

Kacsuk, P.

Publication type:

Article

4

Reduction and Narrowing for Horn Clause Theories.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 42

By:

Padawitz, P.

Publication type:

Article

5

Review: Book Review.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 41

By:

Drapkin, T.

Publication type:

Article

6

Short Note.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 92

By:

Wu, J.-L.;
Cheng, S.-T.

Publication type:

Article

7

Constructive Rewriting.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 34

By:

Nipkow, T.

Publication type:

Article

8

Short Note.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 88

By:

Weiss, M. A.

Publication type:

Article

9

Announcements.

Published in:: Computer Journal, 1991, v. 34, n. 1, p. 87
Publication type:: Article

10

A Model for the Stability Analysis of Maintenance Strategies for Linear List.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 80

By:

Bastani, F. B.;
Chen, I.-R.;
Hilal, W.

Publication type:

Article

11

Constraint Maintenance as a Data Model Design Criterion.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 73

By:

Orman, L.

Publication type:

Article

12

Correspondence.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 72

By:

Dwyer, B.

Publication type:

Article

13

Prolog in Practical Compiler Writing.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 64

By:

Paakki, J.

Publication type:

Article

14

Order-sorted Term Rewriting.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 16

By:

Dick, A. J. J.;
Watson, P.

Publication type:

Article

15

Review: Book Review.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 15

By:

Vince, J. A.

Publication type:

Article

16

An Introduction to Knuth–Bendix Completion.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 2

By:

Dick, A. J. J.

Publication type:

Article

17

Editorial – Term Rewriting.

Published in:

Computer Journal, 1991, v. 34, n. 1, p. 1

By:

Thomas, M.

Publication type:

Article