Metalevel Computation in Maude-Reference-Cited by-同舟云学术

Metalevel Computation in Maude

Published:1998 Issue: Volume:15 Page:331-352
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

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

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference36 articles.

1. Characterization of computable data types by means of a finite equational specification method;Bergstra,1980

2. P. Borovanský, C. Kirchner, and H. Kirchner. Strategies and rewriting in ELAN. In B. Gramlich and H. Kirchner, editors, Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction (Townsville, Australia, July 1997), 1997.

3. Specification and proof in membership equational logic;Bouhoula;Manuscript, SRI International,1997

4. A. Bouhoula, J.-P. Jouannaud, and J. Meseguer. Specification and proof in membership equational logic. In M. Bidoit and M. Dauchet, editors, Proceedings TAPSOFT'97, LNCS 1214, pages 67--92. Springer-Verlag, 1997.

5. R. Bruni, J. Meseguer, and U. Montanari. Internal strategies in a rewriting implementation of tile systems. This volume.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Two Decades of Maude;Lecture Notes in Computer Science;2015

2. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10

3. A Rewriting Logic Sampler;Theoretical Aspects of Computing – ICTAC 2005;2005

4. Specification of real-time and hybrid systems in rewriting logic;Theoretical Computer Science;2002-08

5. ELAN from a rewriting logic point of view;Theoretical Computer Science;2002-08