textscNP-Spec: An Executable Specification Language for Solving All Problems in NP

Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile
January 2000
PDF Cite
Type
Journal article
Publication
Computer Languages
expressivity np-spec