Modularity of Ontologies in an Arbitrary Institution

Yazmin Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki. Modularity of Ontologies in an Arbitrary Institution. In Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott, editors, Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Volume 9200 of Lecture Notes in Computer Science, pages 361-379, Springer, 2015. [doi]

Abstract

Abstract is missing.