The following pages link to Hybridization of Institutions (Q3090875):
Displaying 19 items.
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Specification of systems with parameterised events: An institution-independent approach (Q2168786) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Hierarchical hybrid logic (Q2333323) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- (Q2722027) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- The Algebra of Opposition (and Universal Logic Interpretations) (Q5258966) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)
- Hybridisation of Institutions in HETS (Tool Paper). (Q5875358) (← links)
- Partialising institutions (Q6185812) (← links)
