On the Strength of Temporal Proofs

Hajnal Andréka, István Németi, Ildikó Sain. On the Strength of Temporal Proofs. In Antoni Kreczmar, Grazyna Mirkowska, editors, Mathematical Foundations of Computer Science 1989, MFCS 89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings. Volume 379 of Lecture Notes in Computer Science, pages 135-144, Springer, 1989.

Abstract

Abstract is missing.