A Theoretical Study of the Time Analysis of Programs.

Akeo Adachi, Takumi Kasai, Etsuro Moriya

Browse the full MFCS paper archive.