Publisher
Springer Berlin Heidelberg
Reference52 articles.
1. P. Aczel. Term declaration logic and generalized composita. In LICS'91, Proc. 6th Ann. Symp. on Logic in Computer Science, pages 22–30. IEEE, 1991.
2. H. Andréka, P. Burmeister, and I. Németi. Quasi-varieties of partial algebras — a unifying approach towards a two-valued model theory for partial algebras. Preprint 557, FB Mathematik und Informatik, TH Darmstadt, 1980.
3. E. Astesiano and M. Cerioli. Non-strict don't care algebras and specifications. In Proc. TAPSOFT'91, Brighton, number 493 in Lecture Notes in Computer Science, pages 121–142. Springer-Verlag, 1991.
4. E. Astesiano and M. Cerioli. Relationships between logical frameworks. This volume, 1992.
5. G. Bernot, M. Bidoit, and C. Choppy. Abstract data types with exception handling: an initial approach based on a distinction between exceptions and errors. Theoretical Comput. Sci., 46:13–46, 1986.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Origins and Development of Formal Methods;Texts in Theoretical Computer Science. An EATCS Series;2022
2. Order-Sorted Parameterization and Induction;Semantics and Algebraic Specification;2009
3. Guarded Algebras: Disguising Partiality so You Won’t Know Whether Its There;Recent Trends in Algebraic Development Techniques;2000
4. Membership algebra as a logical framework for equational specification;Recent Trends in Algebraic Development Techniques;1998
5. Higher-order algebra with transfinite types;Higher-Order Algebra, Logic, and Term Rewriting;1996