Functions and Relations: The GRAAL System

Patrick Bellot, Remi Legrand. Functions and Relations: The GRAAL System. In Robert Cori, Martin Wirsing, editors, STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings. Volume 294 of Lecture Notes in Computer Science, pages 389-390, Springer, 1988.

Abstract

Abstract is missing.