The maude system

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationRewriting Techniques and Applications - 10th International Conference, RTA 1999, Proceedings
EditorsPaliath Narendran, Michael Rusinowitch
PublisherSpringer-Verlag
Pages240-243
Number of pages4
ISBN (Print)3540662014, 9783540662013
DOIs
StatePublished - Jan 1 1999
Externally publishedYes
Event10th International Conference on Rewriting Techniques and Applications, RTA 1999 - Trento, Italy
Duration: Jul 2 1999Jul 4 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1631
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other10th International Conference on Rewriting Techniques and Applications, RTA 1999
CountryItaly
CityTrento
Period7/2/997/4/99

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., & Quesada, J. F. (1999). The maude system. In P. Narendran, & M. Rusinowitch (Eds.), Rewriting Techniques and Applications - 10th International Conference, RTA 1999, Proceedings (pp. 240-243). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1631). Springer-Verlag. https://doi.org/10.1007/3-540-48685-2_18