Author:
Clavel M.,Durán F.,Eker S.,Lincoln P.,Martí-Oliet N.,Meseguer J.,Quesada J.F.
Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. Algebraic Specification;Bergstra,1989
2. Characterization of computable data types by means of a finite equational specification method;Bergstra,1980
3. Implementation of higher-order unification based on calculus of explicit substitutions;Borovanský,1995
4. Process and term tile logic;Bruni;Technical Report SRI-CSL-98-06, SRI International,1998
5. R. Burstall and J. Goguen. The semantics of Clear, a specification language. In D. Bjørner, editor, Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, LNCS 86, pages 292--332. Springer-Verlag, 1980.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献