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

Theory and Formal Methods. Springer, 1993. p. 126-147 (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

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

Theory and Formal Methods. Springer, 1993. p. 126-147 (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

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.

APA

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.

Vancouver

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).

Author

Fiadeiro, José Luiz ; Maibaum, T. S. E. / Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods. Springer, 1993. pp. 126-147 (Workshops in Computing).

BibTeX

@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",

}

RIS

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 -