Pages that link to "Item:Q1075752"
From MaRDI portal
The following pages link to Foundation of logic programming based on inductive definition (Q1075752):
Displaying 5 items.
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- Inductive families (Q1336951) (← links)
- Program development schemata as derived rules (Q1583853) (← links)
- Initial semantics of logic specifications with negation (Q1816284) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
