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

Add the full text or supplementary notes for the publication here using Markdown formatting.

Expressivity Np-Spec