The subsumption theorem for several forms of resolution

SH Cheng, R de Wolf

Research output: Book/Report/Inaugural speech/Farewell speechReportProfessional

Original languageUndefined/Unknown
Number of pages31
EditionEUR-FEW-CS 96-14
Publication statusPublished - 1996
Externally publishedYes

Publication series

SeriesEUR-FEW-CS
Volume96-14

Cite this