Pages that link to "Item:Q5712547"
From MaRDI portal
The following pages link to Program Development in Computational Logic (Q5712547):
Displaying 9 items.
- Reversing abstract interpretations (Q1330440) (← links)
- Dynamic backward reasoning systems (Q2638814) (← links)
- (Q3384903) (← links)
- (Q3741017) (← links)
- Abductive analysis of modular logic programs (Q4209293) (← links)
- Logic Programming (Q5191488) (← links)
- Functional and Logic Programming (Q5308018) (← links)
- Logic Based Program Synthesis and Transformation (Q5713949) (← links)
- Transformation-Enabled Precondition Inference (Q6063861) (← links)