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

Publication
Computer Languages

Related