Wouter Van Humbeeck

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck
Inference of Well-Typings for Logic Programs with Application to Termination Analysis. SAS (2005)