Generalising Interpretations between Theories in the context of (pi-) Institutions - Research

Home > Computer Science home > Research > Profile > Publications > Generalising Interpretations between Theories in the context of (pi-) Institutions

Generalising Interpretations between Theories in the context of (pi-) Institutions. / Fiadeiro, José Luiz; Maibaum, T. S. E.

Theory and Formal Methods. Springer, 1993. p. 126-147 (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Published

Name	Workshops in Computing
Publisher	Springer

ID: 7240931

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455