textscnp-spec: An Executable Specification Language for Solving All Problems in NP

Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile
January 1999
Cite
Type
Conference paper
Publication
Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99)

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

Conf-Paper Expressivity Indexed Np-Spec