SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

The Maude 2.0 System
 by Dr. Steven Eker, Dr. Patrick Lincoln, Dr. Carolyn Talcott, Manuel Clavel, Francisco Durán, Narciso Mart'i-Oliet & José Meseguer.

Lecture Notes in Computer Science, Volume 2706.
From Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA 2003).
Edited by Robert Nieuwenhuis.
Springer, Berlin.
June, 2003.
Pages 76–87.


BibTEX Entry
@InProceedings{rta2003:maude,
    AUTHOR = {Manuel Clavel and Francisco Dur\'{a}n and Steven Eker and Patrick Lincoln and Narciso Mart\backslash'\backslashi-Oliet and Jos\'{e} Meseguer and Carolyn Talcott},
    TITLE = {The Maude 2.0 System},
    VOLUME = {2706},
    YEAR = {2003},
    PAGES = {76--87},
    MONTH = {June},
    ADDRESS = {Berlin},
    URL = {http://www.csl.sri.com/papers/1558/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA 2003)},
    PUBLISHER = {Springer},
    EDITOR = {Robert Nieuwenhuis}
}
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy