The following pages link to Hybridisation at Work (Q2848960):
Displayed 4 items.
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)
- Hybridisation of Institutions in HETS (Tool Paper). (Q5875358) (← links)