Summary: 



A Compositional Semantics for


Conditional Term Rewriting Systems *



M. Alpuente1 M. Falaschi2 M. J. Ramis1 G. Vidal1
1Departamento de Sistemas Inform'aticos y Computaci'on

Universidad Polit'ecnica de Valencia

Camino de Vera, s/n, 46020 Valencia, Spain
2Dipartimento di Elettronica e Informatica

Universit`a di Padova

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

Collections: Computer Technologies and Information Sciences