External Links

    Journal: Comput. J.

    Volume 39, Issue 4

    255 -- 274Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide. Query Formulation as an Information Retrieval Problem
    275 -- 290Anthony N. Godwin. Building a Semantic Description for a Data Modelling Language
    291 -- 302Jim Grundy. Transformational Hierarchical Reasoning
    303 -- 324Howard Barringer, Graham Gough, Brian Monahan, Alan Williams. A Process Algebra Foundation for Reasoning about Core ELLA
    325 -- 330Robert M. Hierons. Extending Test Sequence Overlap by Invertibility
    331 -- 345Hu-Jun Wang, Jian Li. Bandwidth Analysis for A Class of Bus-Based Systems
    331 -- 345Haifeng Qian, Jie Wu. Enhanced Fibonacci Cubes
    353 -- 356Tamás D. Gedeon. The Cyclic Towers of Hanoi: An Iterative Solution Produced by Transformation
    runs on