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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Published

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fiadeiro, JL & Maibaum, TSE 1993, Generalising Interpretations between Theories in the context of (pi-) Institutions. in *Theory and Formal Methods.* Workshops in Computing, Springer, pp. 126-147.

Fiadeiro, J. L., & Maibaum, T. S. E. (1993). Generalising Interpretations between Theories in the context of (pi-) Institutions. In *Theory and Formal Methods *(pp. 126-147). (Workshops in Computing). Springer.

Fiadeiro JL, Maibaum TSE. Generalising Interpretations between Theories in the context of (pi-) Institutions. In Theory and Formal Methods. Springer. 1993. p. 126-147. (Workshops in Computing).

@inproceedings{fd630b9a0d6c4861ba20eee54b0d013b,

title = "Generalising Interpretations between Theories in the context of (pi-) Institutions",

author = "Fiadeiro, {Jos{\'e} Luiz} and Maibaum, {T. S. E.}",

year = "1993",

language = "Undefined/Unknown",

series = "Workshops in Computing",

publisher = "Springer",

pages = "126--147",

booktitle = "Theory and Formal Methods",

}

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

M3 - Conference contribution

T3 - Workshops in Computing

SP - 126

EP - 147

BT - Theory and Formal Methods

PB - Springer

ER -