Author:
Clave M.,Durán F.,Eker S.,Lincoln P.,Martí-Oliet N.,Meseguer J.,Quesada J.F.
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. Ropes: An alternative to strings;Boehm;Software Practice and Experience,1995
2. Specification and proof in membership equational logic;Bouhoula;Theoretical Computer Science,2000
3. M. Clavel. Reflection in general logics and in rewriting logic, with applications to the Maude language. Ph.D. Thesis, University of Navarre, 1998.
4. Metalevel computation in Maude;Clavel,1998
5. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and programming in rewriting logic. SRI International, January 1999. http://maude.csl.sri.com
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献