机译:推断整数程序的下运行时界限
Max Planck Inst Informat Saarland Informat Campus Campus E1 4 D-66123 Saarbrucken Germany;
Rhein Westfal TH Aachen Math Grundlagen Informat D-52056 Aachen Germany;
Microsoft Res 21 Stn Rd Cambridge CB1 2FB England;
Rhein Westfal TH Aachen LuFG Informat 2 Ahornstr 55 D-52074 Aachen Germany;
Integer programs; runtime complexity; lower bounds; automated complexity analysis;