Possibly Infinite Sequences in Theorem Provers: A Comparative Study

  • Authors:
  • Marco Devillers;W. O. David Griffioen;Olaf Müller

  • Affiliations:
  • -;-;-

  • Venue:
  • TPHOLs '97 Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract