Monadic Logical Definability of NP-Complete Problems

• Authors:

• Etienne Grandjean;Frédéric Olive

• Affiliations:

• -;-

• Venue:
• CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
• Year:
• 1994