External Links

    Journal: Comput. J.

    Volume 34, Issue 1

    2 -- 15A. J. J. Dick. An Introduction to Knuth-Bendix Completion
    16 -- 19A. J. J. Dick, Phil Watson. Order-Sorted Term Rewriting
    20 -- 33Miki Hermann, Claude Kirchner, Hélène Kirchner. Implementations of Term Rewriting Systems
    34 -- 41Tobias Nipkow. Constructive Rewriting
    42 -- 51Peter Padawitz. Reduction and Narrowing for Horn Clause Theories
    52 -- 63Péter Kacsuk. A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation
    64 -- 72Jukka Paakki. Prolog in Practical Compiler Writing
    73 -- 79Levent V. Orman. Constraint Maintenance as a Data Model Design Criterion
    80 -- 87Farokh B. Bastani, Ing-Ray Chen, Wael Hilal Bahaa-El-Din. A Model for the Stability Analysis of Maintenance Stragies for Linear List
    88 -- 91Mark Allen Weiss. Empirical Study of the Expected Running Time of Shellsort
    92 -- 93J.-L. Wu, S.-T. Cheng. A Neural Network Simulating System
    runs on