The Concept of Weak Substitution in Theorem-Proving

  • Authors:

  • Rona B. Stillman

  • Affiliations:

  • Institute for Computer Sciences and Technology, National Bureau of Standards, Washington, D.C

  • Venue:
  • Journal of the ACM (JACM)
  • Year:
  • 1973

Quantified Score

Hi-index 0.01

Visualization

Abstract