A resolution rule for well-formed formulae

  • Authors:

  • K. S.H.S.R. Bhatta;Harish Karnick

  • Affiliations:

  • Indian Institute of Technology, Kanpur, India;Indian Institute of Technology, Kanpur, India

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 1991

Quantified Score

Hi-index 5.23

Visualization

Abstract