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
Original languageUndefined/Unknown
Title of host publicationCOMPASS/ADT
PublisherSpringer
Pages81-101
Number of pages21
Volume1130
Publication statusPublished - 1996

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

ID: 7241087