A Purely Logical Approach to Program Termination (0)

by M Eras¸cu, T Jebelean
Venue:Proceedings of the 11th International Workshop on Termination, FLOC 2010