Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Maura Cerioli. Relationships between Logical Formalisms. PhD thesis, Università di Pisa-Genova-Udine, 1993. TD-4/93.
2. M. Cerioli and J. Meseguer. May I Borrow Your Logic? Proc. MFCS'93, LNCS 711, Springer, 1993, pp. 342–351.
3. J. A. Goguen and R. M. Burstall. Introducing institutions. In Proc. Logics of Programming Workshop, LNCS 164, pages 221–256. Carnegie-Mellon, Springer, 1984.
4. J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journals of the ACM, 39(1):95–146, January 1992.
5. H.-J. Kreowski and T. Mossakowski. Equivalence and Difference of Intitutions: Simulating Horn Clause Logic With Based Algebras. Technical report, Universität Bremen, 1993, to appear in MSCS.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献