This paper extends uniqueness results due to Boas and Trembinska, on entire functions with exponential growth whose real part vanishes on lattice points. Here the case is studied where the real part ...

This is a preview. Log in through your library . Abstract We prove an exponential lower bound on the size of proofs in the proof system operating with ordered binary decision diagrams introduced by ...