Summary: 3
E
3
E
E
M E
R
R
Abstract
1 Introduction
initial algebra
M. Alpuente M. Falaschi M. J. Ramis G. Vidal
A Compositional Semantics for
Conditional Term Rewriting Systems
1 2 1 1
1
2
This work has been partially supported by CICYT under grant TIC 92­0793­C02­02.
Departamento de Sistemas Inform'aticos y Computaci'on
Universidad Polit'ecnica de Valencia

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

Collections: Computer Technologies and Information Sciences