Pages that link to "Item:Q2890328"
From MaRDI portal
The following pages link to Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328):
Displaying 8 items.
- A scalable module system (Q391632) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Structure-preserving diagram operators (Q2237343) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Project Abstract: Logic Atlas and Integrator (LATIN) (Q5200129) (← links)
- The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
