Proving Termination One Loop at a Time - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Codish, Samir Genaim. Proving Termination One Loop at a Time. In Frédéric Mesnard, Alexander Serebrenik, editors, Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003. Volume CW371 of Report, pages 48-59, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium), 2003.

This author has not been identified. Look up 'Michael Codish' in GoogleThis author has not been identified. It may be one of the following persons:

Samir Genaim

Look up 'Samir Genaim' in Google

runs on WebDSL