On the Strength of Temporal Proofs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Hajnal Andréka, István Németi, Ildikó Sain. On the Strength of Temporal Proofs. Theoretical Computer Science, 80(2):125-151, 1991.

@article{AndrekaNS91,
  title = {On the Strength of Temporal Proofs},
  author = {Hajnal Andréka and István Németi and Ildikó Sain},
  year = {1991},
  researchr = {https://researchr.org/publication/AndrekaNS91},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {80},
  number = {2},
  pages = {125-151},
}

runs on WebDSL