G. W. Hamilton | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

A. M. Ben-Amram
1 publication

research

∙ 10/06/2020

Tight Polynomial Bounds for Loop Programs in Polynomial Space

We consider the following problem: given a program, find tight asymptoti...

0 A. M. Ben-Amram, et al. ∙

research

∙ 08/07/2020

Distilling Programs to Prove Termination

The problem of determining whether or not any program terminates was sho...

0 G. W. Hamilton, et al. ∙