Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. M. Broy, P. Pepper, M. Wirsing: On the Algebraic Definition of Programming Languages, to appear in TOPLAS.
2. M. Broy, M. Wirsing: Partial Abstract Types, Acta Informatica 18 (1982), 47–64.
3. P. Burmeister: Free partial algebras, J. reine u. angewandte Math. 241 (1970), 75–86.
4. P. Burmeister: Quasi-Equational Logic for Partial Algebras, Lect. Notes in Comp. Sci. 117 (1981), 71–80.
5. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1 — Equations and Initial Semantics, Springer (1985).
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献