The subsumption theorem for several forms of resolution

SH Cheng, R de Wolf

Research output: Book/Report/Inaugural speech/Farewell speech › Report › Professional

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

Publication series

SeriesEUR-FEW-CS
Volume96-14

Research programs

  • EUR ESE 14

Cite this