EFFICIENT PARALLEL COMPUTATION USING REWRITING LOGIC AND ALGEBRAIC PROGRAMMING Joint research project of SRI International (USA) and the Glushkov Institute of Cybernetics (Ukraine) under the Cooperative Grants Program "U.S. Civilian Research and Development Foundation for the Independent States of the FSU (CRDF)" (1988) |