Pages that link to "Item:Q2358621"
From MaRDI portal
The following pages link to Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621):
Displaying 5 items.
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Many-sorted hybrid modal languages (Q2035658) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
