External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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.

Authors

Hajnal Andréka

This author has not been identified. Look up 'Hajnal Andréka' in Google

István Németi

This author has not been identified. Look up 'István Németi' in Google

Ildikó Sain

This author has not been identified. Look up 'Ildikó Sain' in Google
runs on