Pages that link to "Item:Q5350348"
From MaRDI portal
The following pages link to The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348):
Displaying 8 items.
- Partial pushout semantics of generics in DOL (Q724938) (← links)
- A computational framework for conceptual blending (Q1748468) (← links)
- Towards leveraging domain knowledge in state-based formal methods (Q2115898) (← links)
- Specifying with syntactic theory functors (Q2173439) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention (Q2188772) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
- Semantic web (Q6602270) (← links)
