%0 Journal Article %1 journals/cl/CadoliIPSV00 %A Cadoli, Marco %A Ianni, Giovambattista %A Palopoli, Luigi %A Schaerf, Andrea %A Vasile, Domenico %D 2000 %J Comput. Lang. %K dblp %N 2-4 %P 165-195 %T NP-SPEC: an executable specification language for solving all problems in NP. %U http://dblp.uni-trier.de/db/journals/cl/cl26.html#CadoliIPSV00 %V 26

@article{journals/cl/CadoliIPSV00, added-at = {2022-07-18T00:00:00.000+0200}, author = {Cadoli, Marco and Ianni, Giovambattista and Palopoli, Luigi and Schaerf, Andrea and Vasile, Domenico}, biburl = {https://www.bibsonomy.org/bibtex/262e9aa00ef33eaf6e43ff283a41aa066/dblp}, ee = {https://doi.org/10.1016/S0096-0551(01)00010-8}, interhash = {e2318cd89af5048a5bf5bba56d0a1956}, intrahash = {62e9aa00ef33eaf6e43ff283a41aa066}, journal = {Comput. Lang.}, keywords = {dblp}, number = {2-4}, pages = {165-195}, timestamp = {2024-04-08T18:51:17.000+0200}, title = {NP-SPEC: an executable specification language for solving all problems in NP.}, url = {http://dblp.uni-trier.de/db/journals/cl/cl26.html#CadoliIPSV00}, volume = 26, year = 2000 }