%0 Conference Paper %1 conf/padl/CadoliPSV99 %A Cadoli, Marco %A Palopoli, Luigi %A Schaerf, Andrea %A Vasile, Domenico %B PADL %D 1999 %E Gupta, Gopal %I Springer %K dblp %P 16-30 %T NP-SPEC: An Executable Specification Language for Solving All Problems in NP. %U http://dblp.uni-trier.de/db/conf/padl/padl99.html#CadoliPSV99 %V 1551 %@ 3-540-65527-1

@inproceedings{conf/padl/CadoliPSV99, added-at = {2022-07-18T00:00:00.000+0200}, author = {Cadoli, Marco and Palopoli, Luigi and Schaerf, Andrea and Vasile, Domenico}, biburl = {https://www.bibsonomy.org/bibtex/2361a656da2268f01bb42a1bf8d773913/dblp}, booktitle = {PADL}, crossref = {conf/padl/1999}, editor = {Gupta, Gopal}, ee = {https://doi.org/10.1007/3-540-49201-1_2}, interhash = {6fa066623da4dc600851a133942acd12}, intrahash = {361a656da2268f01bb42a1bf8d773913}, isbn = {3-540-65527-1}, keywords = {dblp}, pages = {16-30}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:37:53.000+0200}, title = {NP-SPEC: An Executable Specification Language for Solving All Problems in NP.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl99.html#CadoliPSV99}, volume = 1551, year = 1999 }