Pages that link to "Item:Q4593008"
From MaRDI portal
The following pages link to Semantics of templates in a compositional framework for building logics (Q4593008):
Displaying 7 items.
- Knowledge representation analysis of graph mining (Q2317967) (← links)
- The inference problem for template dependencies (Q3340200) (← links)
- (Q3413498) (← links)
- (Q3526716) (← links)
- Magic templates: a spellbinding approach to logic programs (Q3988795) (← links)
- The KB paradigm and its application to interactive configuration (Q4593081) (← links)
- A compositional typed higher-order logic with definitions (Q5240216) (← links)