Dean Voets

Identifiers

• name variant Dean Voets 0.60 · backfill

Papers (2)

1. Non-termination Analysis of Logic Programs with Integer arithmetics cs.PL · 2011 · author #1
2. Termination Prediction for General Logic Programs cs.PL · 2009 · author #3

Mentions

• 1109.3256 #1 · backfill · confidence 0.70 Dean Voets
• 0905.2004 #3 · backfill · confidence 0.70 Dean Voets

Frequent Coauthors

• Danny De Schreye 2 shared papers
• Yi-Dong Shen 1 shared papers