RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Object oriented institutions to specify symbolic computation systems

César Domínguez, Laureano Lambán and Julio Rubio

RAIRO-Theor. Inf. Appl., 41 2 (2007) 191-214

Published online: 18 July 2007

DOI: 10.1051/ita:2007015

César Domínguez

Laureano Lambán

Julio Rubio

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)