A Compositional Semantics for Conditional Term Rewriting Systems

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. A Compositional Semantics for Conditional Term Rewriting Systems. In Henri E. Bal, editor, Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. pages 171-182, IEEE Computer Society, 1994.

Abstract

Abstract is missing.