The power of temporal proofs: Theoretical computer science 65 (1989) 35–83

• 26 January 1990
• journal article
• correction
• Published by Elsevier in Theoretical Computer Science
• Vol. 70  (2) , 275
• https://doi.org/10.1016/0304-3975(90)90128-5

Abstract

Keywords

• TEMPORAL PROOF