Author:
Clavel M.,Durán F.,Eker S.,Meseguer J.
Reference40 articles.
1. Term Rewriting and all that;Baader,1999
2. Characterization of computable data types by means of a finite equational specification method;Bergstra,1980
3. Specification and proof in membership equational logic;Bouhoula;Theoretical Computer Science,2000
4. Process and term tile logic;Bruni,1998
5. Internal strategies in a rewriting implementation of tile systems;Bruni,1998
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Methodology of software development with the use of the model of distributed object-based stochastic hybrid systems;Informatics;2022-02-28
2. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10
3. The Rewriting Logic Semantics Project;Electronic Notes in Theoretical Computer Science;2006-05
4. Modular Rewriting Semantics in Practice;Electronic Notes in Theoretical Computer Science;2005-01
5. A Rewriting Logic Sampler;Theoretical Aspects of Computing – ICTAC 2005;2005