Skip to content

Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates.

Clemens Lautemann

VenueBCSL
Year1992
ProceedingsCSL

Browse the full CSL paper archive.