Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. J.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright, A Uniform Approach to Inductive Posets and Inductive Closure, Proc. MFCS'77, LNCS 53, 1977, and TCS 7, 1978
2. K.Benecke, H.Reichel, Equational Partiality, Algebra Universalis 16, 1983
3. M.Broy, M.Wirsing, Partial Abstract Data Types, Acta Informatica 18, 1982
4. M.Broy, Partial Interpretation of Higher Order Algebraic Types, Int. Summer School, Marktoberdorf, 1986
5. P.Burmeister, Partial Algebras — Survey of a Unifying Approach towards a Two-Valued Model Theory for Partial Algebras, Algebra Universalis 15, 1982
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Synthesis of Software Contracts with KindSpec;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
2. Non-strict don't care algebras and specifications;Mathematical Structures in Computer Science;1996-02
3. R n - and G n -logics;Higher-Order Algebra, Logic, and Term Rewriting;1996
4. Combining algebraic and set-theoretic specifications;Recent Trends in Data Type Specification;1996
5. Heterogeneous unified algebras;Lecture Notes in Computer Science;1993