Dataset - CKAN

Abstract Model Theory Results in the Framework of the Institutions: Towards l...

The importance of Craig interpolation for structuration and modularity of axiomatic style specifications have been shown by many works. In order to give sufficient...
- HTML

You can also access this registry using the API (see API Docs).