Program Termination Analysis in Polynomial Time.

Chin Soon Lee

Browse the full GPCE paper archive.