| 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 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
Unifying Theories in Different Institutions
M. Arrais, José Luiz Fiadeiro
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution