The Power of Temporal Proofs

LICS(1987), pp. 123-130

Abstract

Research Areas