Generalising Interpretations between Theories in the context of (pi-) Institutions

José Luiz Fiadeiro, T. S. E. Maibaum

Research output: Other contribution

Original languageEnglish
PublisherSpringer Verlag
Number of pages22
Place of PublicationLondon
Publication statusPublished - 1993

Cite this

@misc{d31d169bca284de1b633dbfd59668838,
title = "Generalising Interpretations between Theories in the context of (pi-) Institutions",
author = "Fiadeiro, {Jos{\'e} Luiz} and Maibaum, {T. S. E.}",
year = "1993",
language = "English",
publisher = "Springer Verlag",
address = "Germany",
type = "Other",

}

Generalising Interpretations between Theories in the context of (pi-) Institutions. / Fiadeiro, José Luiz; Maibaum, T. S. E.

22 p. London : Springer Verlag. 1993, .

Research output: Other contribution

TY - GEN

T1 - Generalising Interpretations between Theories in the context of (pi-) Institutions

AU - Fiadeiro, José Luiz

AU - Maibaum, T. S. E.

PY - 1993

Y1 - 1993

UR - https://dl.acm.org/citation.cfm?id=721361

M3 - Other contribution

PB - Springer Verlag

CY - London

ER -