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
Original language | Undefined/Unknown |
---|---|
Title of host publication | COMPASS/ADT |
Publisher | Springer |
Pages | 81-101 |
Number of pages | 21 |
Volume | 1130 |
Publication status | Published - 1996 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
ID: 7241087