Wouter Van Humbeeck Vis

*	2005
1	EE	Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck: Inference of Well-Typings for Logic Programs with Application to Termination Analysis. SAS 2005: 35-51

Coauthor Index

1	Maurice Bruynooghe	[1]
2	John P. Gallagher	[1]