Pages that link to "Item:Q2826029"
From MaRDI portal
The following pages link to Quasi-varieties and initial semantics for hybridized institutions (Q2826029):
Displaying 8 items.
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Hybridisation of Institutions in HETS (Tool Paper). (Q5875358) (← links)
