Dean Voets

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

4 Dean Voets, Danny De Schreye: A New Approach to Non-termination Analysis of Logic Programs. ICLP 2009: 220-234

3 Dean Voets: Research Summary: Non-termination Analysis of Logic Programs. ICLP 2009: 553-554

2 Yi-Dong Shen, Danny De Schreye, Dean Voets: Termination Prediction for General Logic Programs CoRR abs/0905.2004: (2009)

1 Yi-Dong Shen, Danny De Schreye, Dean Voets: Termination prediction for general logic programs. TPLP 9(6): 751-780 (2009)

	2009
4		Dean Voets, Danny De Schreye: A New Approach to Non-termination Analysis of Logic Programs. ICLP 2009: 220-234
3		Dean Voets: Research Summary: Non-termination Analysis of Logic Programs. ICLP 2009: 553-554
2		Yi-Dong Shen, Danny De Schreye, Dean Voets: Termination Prediction for General Logic Programs CoRR abs/0905.2004: (2009)
1		Yi-Dong Shen, Danny De Schreye, Dean Voets: Termination prediction for general logic programs. TPLP 9(6): 751-780 (2009)

Coauthor Index

1 Danny De Schreye [1] [2] [4]

2 Yi-Dong Shen [1] [2]