Pages that link to "Item:Q2787338"
From MaRDI portal
The following pages link to Foundations of Logic Programming in Hybridised Logics (Q2787338):
Displaying 7 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Herbrand theorems in arbitrary institutions (Q2390213) (← links)
- Quasi-varieties and initial semantics for hybridized institutions (Q2826029) (← links)
- Mapping Fusion and Synchronized Hyperedge Replacement into logic programming (Q3430667) (← links)