Pages that link to "Item:Q3184737"
From MaRDI portal
The following pages link to Heterogeneous Logical Environments for Distributed Specifications (Q3184737):
Displayed 4 items.
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- What Is a Multi-modeling Language? (Q3184725) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)