Pages that link to "Item:Q4036287"
From MaRDI portal
The following pages link to HiLog: A foundation for higher-order logic programming (Q4036287):
Displayed 5 items.
- Verifying termination and reduction properties about higher-order logic programs (Q850496) (← links)
- Functional-logic integration via minimal reciprocal extensions (Q1275622) (← links)
- The F-logic approach for description languages (Q1924824) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- The limits of fixed-order computation (Q5940930) (← links)