Pages that link to "Item:Q2358621"

The following pages link to Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621):

Displayed 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)