Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates

• Authors:

• Clemens Lautemann

• Affiliations:

• -

• Venue:
• CSL '92 Selected Papers from the Workshop on Computer Science Logic
• Year:
• 1992