The closure of Monadic NP (extended abstract)

• 1 January 1998
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 309-318
• https://doi.org/10.1145/276698.276771

Abstract

Keywords

• MONADIC NP
• BINARY RELATION
• SECOND ORDER
• COMPLEXITY CLASS
• FIRST ORDER