Pages that link to "Item:Q1272541"
From MaRDI portal
The following pages link to Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages (Q1272541):
Displayed 10 items.
- Grothendieck inclusion systems (Q657588) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Theory blending: extended algorithmic aspects and examples (Q2398271) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- CafeOBJ Traces (Q5403067) (← links)