Author:
Clavel M.,Eker S.,Lincoln P.,Meseguer J.
Subject
General Computer Science,Theoretical Computer Science
Reference26 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. Controlling rewriting by rewriting. This volume.
3. Adel Bouhoula, Jean-Pierre Jouannaud, and José Meseguer. Specification and proof in membership equational logic. Manuscript, SRI International, August 1996.
4. Rod Burstall and Joseph Goguen. The semantics of Clear, a specification language. In Dines Bjorner, editor, Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, pages 292–332. Springer LNCS 86, 1980.
5. Parallel Program Design: A Foundation;Mani,1988
Cited by
95 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献