Inproceedings,

Modularity of Ontologies in an Arbitrary Institution

, , , and .
Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, volume 9200 of Lecture Notes in Computer Science, page 361--379. Springer, (2015)
DOI: 10.1007/978-3-319-23165-5_17

Meta data

Tags

Users

  • @tillmo

Comments and Reviews