Unifying Theories in Different Institutions. / Arrais, M.; Fiadeiro, José Luiz.

COMPASS/ADT. Vol. 1130 Springer, 1996. p. 81-101 (Lecture Notes in Computer Science).

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

Published

Standard

Unifying Theories in Different Institutions. / Arrais, M.; Fiadeiro, José Luiz.

COMPASS/ADT. Vol. 1130 Springer, 1996. p. 81-101 (Lecture Notes in Computer Science).

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

Harvard

Arrais, M & Fiadeiro, JL 1996, Unifying Theories in Different Institutions. in COMPASS/ADT. vol. 1130, Lecture Notes in Computer Science, Springer, pp. 81-101.

APA

Arrais, M., & Fiadeiro, J. L. (1996). Unifying Theories in Different Institutions. In COMPASS/ADT (Vol. 1130, pp. 81-101). (Lecture Notes in Computer Science). Springer.

Vancouver

Arrais M, Fiadeiro JL. Unifying Theories in Different Institutions. In COMPASS/ADT. Vol. 1130. Springer. 1996. p. 81-101. (Lecture Notes in Computer Science).

Author

Arrais, M. ; Fiadeiro, José Luiz. / Unifying Theories in Different Institutions. COMPASS/ADT. Vol. 1130 Springer, 1996. pp. 81-101 (Lecture Notes in Computer Science).

BibTeX

@inproceedings{9ff05777b3204568a6178608c584a036,
title = "Unifying Theories in Different Institutions",
author = "M. Arrais and Fiadeiro, {Jos{\'e} Luiz}",
year = "1996",
language = "Undefined/Unknown",
volume = "1130",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "81--101",
booktitle = "COMPASS/ADT",

}

RIS

TY - GEN

T1 - Unifying Theories in Different Institutions

AU - Arrais, M.

AU - Fiadeiro, José Luiz

PY - 1996

Y1 - 1996

M3 - Conference contribution

VL - 1130

T3 - Lecture Notes in Computer Science

SP - 81

EP - 101

BT - COMPASS/ADT

PB - Springer

ER -