Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms

Mariangiola Dezani-Ciancaglini, Maddalena Zacchi. Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. In Jacques Loeckx, editor, Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974, Proceedings. Volume 14 of Lecture Notes in Computer Science, pages 170-184, Springer, 1974.

Abstract

Abstract is missing.