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)
np-spec expressivity