Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference18 articles.
1. A natural data type with a finite equational final semantics but no effective equational initial semantics specification;Bergstra;Bull. EATCS,1980
2. The completeness of the algebraic specification methods for computable data types;Bergstra;Inform. Control,1982
3. Initial and final algebra semantics for data type specifications; two characterisation theorems;Bergstra;SIAM J. Comput.,1983
4. Algebraic specifications of computable and semicomputable data types;Bergstra;Theoret. Comput. Sci.,1987
5. Fundamentals of Algebraic Specification I: Equations and Initial Semantics;Ehrig,1985
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献