%0 Journal Article %1 journals/ndjfl/JoyR95 %A Joy, Mike S. %A Rayward-Smith, Victor J. %D 1995 %J Notre Dame J. Formal Log. %K dblp %N 2 %P 319-335 %T NP-Completeness of a Combinator Optimization Problem. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl36.html#JoyR95 %V 36

@article{journals/ndjfl/JoyR95, added-at = {2020-05-21T00:00:00.000+0200}, author = {Joy, Mike S. and Rayward-Smith, Victor J.}, biburl = {https://www.bibsonomy.org/bibtex/2c87618927b19c81c3013c3c71765a6da/dblp}, ee = {https://doi.org/10.1305/ndjfl/1040248462}, interhash = {a85bb7df3104c354ef15a5a1ab812e54}, intrahash = {c87618927b19c81c3013c3c71765a6da}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 2, pages = {319-335}, timestamp = {2020-05-23T12:17:18.000+0200}, title = {NP-Completeness of a Combinator Optimization Problem.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl36.html#JoyR95}, volume = 36, year = 1995 }