On the strength of temporal proofs

  • Authors:

  • Hajnal Andréka;István Németi;Ildikó Sain

  • Affiliations:

  • Mathematical Institute of the Hungarian Academy of Sciences, Budapest, Hungary;Mathematical Institute of the Hungarian Academy of Sciences, Budapest, Hungary;Mathematical Institute of the Hungarian Academy of Sciences, Budapest, Hungary

  • Venue:
  • MFCS '89 Selected papers of the symposium on Mathematical foundations of computer science
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

Abstract