Pages that link to "Item:Q2355385"
From MaRDI portal
The following pages link to Refinement in hybridised institutions (Q2355385):
Displayed 6 items.
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- On the verification of architectural reconfigurations (Q1749140) (← links)
- Specification of systems with parameterised events: An institution-independent approach (Q2168786) (← links)
- Hierarchical hybrid logic (Q2333323) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)