Pages that link to "Item:Q1391732"
From MaRDI portal
The following pages link to Institutions for logic programming (Q1391732):
Displaying 9 items.
- Fully abstract compositional semantics for an algebra of logic programs (Q672703) (← links)
- Composing recursive logic programs with clausal join (Q1109585) (← links)
- Differential logic programs: Programming methodologies and semantics (Q1126260) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- Composition-nominative logics as institutions (Q1653557) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Herbrand theorems in arbitrary institutions (Q2390213) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Programming by combining general logic programs (Q4238481) (← links)