The equivalence of the subsumption theorem and the refutation-completeness for unconstrained resolution

SH Cheng, R de Wolf

Research output: Chapter/Conference proceedingChapterAcademic

2 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationAlgorithms, concurrency and knowledge
EditorsK. Kanchansut, J.J. Levy
Place of PublicationBerlijn
Number of pages17
Publication statusPublished - 1995

Research programs

  • EUR ESE 14

Cite this