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 proceeding › Conference 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 proceeding › Conference 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
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 -