The following pages link to Dean Voets (Q3003490):
Displayed 4 items.
- Non-termination Analysis of Logic Programs Using Types (Q3003491) (← links)
- Non-termination analysis of logic programs with integer arithmetics (Q3087440) (← links)
- Termination prediction for general logic programs (Q3648357) (← links)
- A New Approach to Non-termination Analysis of Logic Programs (Q4649732) (← links)