The following pages link to Danny De Schreye (Q199253):
Displayed 6 items.
- (Q5688890) (← links)
- (Q5688908) (← links)
- Logic Based Program Synthesis and Transformation (Q5713935) (← links)
- Termination proofs for logic programs with tabling (Q5738911) (← links)
- Termination of simply-moded well-typed logic programs under a tabled execution mechanism (Q5941756) (← links)
- Compiling control as offline partial deduction (Q6085978) (← links)