Ponencia
The Maude System
Autor/es | Clavel, M.
Durán, F. Eker, S. Lincoln, P. Martí Oliet, N. Meseguer, J. Quesada Moreno, José Francisco |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 1999 |
Fecha de depósito | 2019-06-11 |
Publicado en |
|
ISBN/ISSN | 0302-9743 |
Cita | Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí Oliet, N., Meseguer, J. y Quesada Moreno, J.F. (1999). The Maude System. En RTA 1999 : 10th International Conference on Rewriting Techniques and Applications (240-243), Trento, Italy: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
The Maude System.pdf | 139.4Kb | [PDF] | Ver/ | |