Author:
Clavel M.,Durán F.,Eker S.,Meseguer J.,Stehr M. O.
Publisher
Springer Berlin Heidelberg
Reference62 articles.
1. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Trans. Soft. Eng. and Meth., July 1997.
2. A. Avron, F. Honsell, I. A. Mason, and R. Pollack. Using typed lambda calculus to implement formal systems on a machine. Journal of Automated Reasoning, 9(3):309–354, December 1992.
3. Handbook of Logic in Computer Science;H. P. Barendregt,1992
4. D. A. Basin and R. L. Constable. Metalogical frameworks. In G. Huet and G. Plotkin, editors, Logical Environments, pages 1–29. Cambridge University Press, 1993.
5. Lect Notes Comput Sci;J. Bergstra,1980
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Metalevel Algorithms for Variant Satisfiability;Rewriting Logic and Its Applications;2016
2. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10
3. Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support;IEICE Transactions on Information and Systems;2011
4. Towards a Maude Formal Environment;Formal Modeling: Actors, Open Systems, Biological Systems;2011
5. Tool Interoperability in the Maude Formal Environment;Algebra and Coalgebra in Computer Science;2011