Unifying Theories in Different Institutions

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

Name	Lecture Notes in Computer Science
Publisher	Springer

Cite this

@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",

}