The completeness of gp-resolution for annotated logics

James J. Lu*, Lawrence Joseph Henschen

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

8 Scopus citations
Original languageEnglish (US)
Pages (from-to)135-140
Number of pages6
JournalInformation Processing Letters
Issue number3
StatePublished - Nov 30 1992


  • Automatic theorem proving

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications

Cite this