NP-SPEC: an executable specification language for solving all problems in NP

✍ Scribed by Marco Cadoli; Giovambattista Ianni; Luigi Palopoli; Andrea Schaerf; Domenico Vasile

• Book ID: 114107545
• Publisher: Elsevier Science
• Year: 2000
• Tongue: English
• Weight: 225 KB
• Volume: 26
• Category: Article
• ISSN: 0096-0551
• DOI: 10.1016/s0096-0551(01)00010-8