MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Maude's module algebra." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Maude's Module Algebra  
  • by Francisco Durán, José Meseguer — 2000
  • …Maude's Module Algebra Francisco Duran ETSI Informatica, Universidad de Malaga, Spain Jose…
  • Cited by 5 (3 self) – Add To MetaCart
  • The Maude 2.0 system  
  • by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-oliet, José Meseguer, Carolyn Talcott — 2003 — Rewriting Techniques and Applications, Proceedings of the 14th International Conference
  • … issues, the new built-in modules, the more general Full Maude module algebra, the new META-LEVEL module…
  • Cited by 55 (14 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB