Author:
López Pombo Carlos Gustavo,Castro Pablo F.,Aguirre Nazareno M.,Maibaum Thomas S. E.
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Lecture Notes in Computer Science;J.A. Goguen,1984
2. Meseguer, J.: General logics. In: Ebbinghaus, H.D., Fernandez-Prida, J., Garrido, M., Lascar, D., Artalejo, M.R. (eds.) Proceedings of the Logic Colloquium 1987, Granada, Spain, vol. 129, pp. 275–329. North Holland (1989)
3. Fiadeiro, J.L., Maibaum, T.S.E.: Generalising interpretations between theories in the context of π-institutions. In: Burn, G., Gay, D., Ryan, M. (eds.) Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, London, UK, pp. 126–147. Springer (1993)
4. Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. Journal of the ACM 39(1), 95–146 (1992)
5. Lecture Notes in Computer Science;A. Tarlecki,1996