William Delobel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

2 Solange Coupet-Grimal, William Delobel: An effective proof of the well-foundedness of the multiset path ordering. Appl. Algebra Eng. Commun. Comput. 17(6): 453-469 (2006)

2004

1 Solange Coupet-Grimal, William Delobel: A Uniform and Certified Approach for Two Static Analyses. TYPES 2004: 115-137

	2006
2		Solange Coupet-Grimal, William Delobel: An effective proof of the well-foundedness of the multiset path ordering. Appl. Algebra Eng. Commun. Comput. 17(6): 453-469 (2006)
	2004
1		Solange Coupet-Grimal, William Delobel: A Uniform and Certified Approach for Two Static Analyses. TYPES 2004: 115-137

Coauthor Index