Modularity of Ontologies in an Arbitrary Institution

Lecture Notes in Computer Science - Logic, Rewriting, and Concurrency ◽

10.1007/978-3-319-23165-5_17 ◽

2015 ◽

pp. 361-379 ◽

Cited By ~ 1

Author(s):

Yazmin Angelica Ibañez ◽

Till Mossakowski ◽

Donald Sannella ◽

Andrzej Tarlecki

Download Full-text