Author:
Clavel Manuel,Durán Francisco,Eker Steven,Lincoln Patrick,Martí-Oliet Narciso,Meseguer José,Talcott Carolyn
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. P. Borovanský, C. Kirchner, H. Kirchner, and P.-E. Moreau. ELAN from a rewriting logic point of view. Theoretical Computer Science, 285:155–185, 2002.
2. Lect Notes Comput Sci;R. Bruni,2003
3. M. Clavel. Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. CSLI Publications, 2000.
4. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude Manual, 1999. http://maude.cs.uiuc.edu .
5. Lect Notes Comput Sci;M. Clavel,1999
Cited by
86 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献