On Applying Or-Parallelism and Tabling to Logic Programs. Rocha, R., Silva, F. M. A., & Santos Costa, V. CoRR, 2003. Paper bibtex @article{ dblp3062317,
title = {On Applying Or-Parallelism and Tabling to Logic Programs},
author = {Ricardo Rocha and Fernando M. A. Silva and Vítor Santos Costa},
author_short = {Rocha, R. and Silva, F. M. A. and Santos Costa, V.},
bibtype = {article},
type = {article},
year = {2003},
key = {dblp3062317},
id = {dblp3062317},
biburl = {http://www.dblp.org/rec/bibtex/journals/corr/cs-LO-0308007},
url = {http://arxiv.org/abs/cs.LO/0308007},
journal = {CoRR},
volume = {cs.LO/0308007},
text = {CoRR cs.LO/0308007 (2003)}
}
Downloads: 0
{"_id":{"_str":"52c127969eb585cc26005b3a"},"__v":0,"authorIDs":[],"author_short":["Rocha, R.","Silva, F. M. A.","Santos Costa, V."],"bibbaseid":"rocha-silva-santoscosta-onapplyingorparallelismandtablingtologicprograms-2003","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp3062317\"> </a>On Applying Or-Parallelism and Tabling to Logic Programs.</span>\n\t<span class=\"bibbase_paper_author\">\nRocha, R.; Silva, F. M. A.; and Santos Costa, V.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2003</span>. -->\n</span>\n\n\n\n<i>CoRR</i>,\n\ncs.LO/0308007.\n\n 2003.\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('rocha-silva-santoscosta-onapplyingorparallelismandtablingtologicprograms-2003', 'http://arxiv.org/abs/cs.LO/0308007')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://arxiv.org/abs/cs.LO/0308007\"\n onclick=\"javascript:log_download('rocha-silva-santoscosta-onapplyingorparallelismandtablingtologicprograms-2003', 'http://arxiv.org/abs/cs.LO/0308007')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"On Applying Or-Parallelism and Tabling to Logic Programs [.LO/0308007]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n \n \n \n <a href=\"javascript:showBib('dblp3062317')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"On Applying Or-Parallelism and Tabling to Logic Programs [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_dblp3062317\"\n style=\"display:none\">\n <pre>@article{ dblp3062317,\n title = {On Applying Or-Parallelism and Tabling to Logic Programs},\n author = {Ricardo Rocha and Fernando M. A. Silva and Vítor Santos Costa},\n author_short = {Rocha, R. and Silva, F. M. A. and Santos Costa, V.},\n bibtype = {article},\n type = {article},\n year = {2003},\n key = {dblp3062317},\n id = {dblp3062317},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/cs-LO-0308007},\n url = {http://arxiv.org/abs/cs.LO/0308007},\n journal = {CoRR},\n volume = {cs.LO/0308007},\n text = {CoRR cs.LO/0308007 (2003)}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"rocha-silva-santoscosta-onapplyingorparallelismandtablingtologicprograms-2003","urls":{"Paper":"http://arxiv.org/abs/cs.LO/0308007"},"role":"author","bibtex":"@article{ dblp3062317,\n title = {On Applying Or-Parallelism and Tabling to Logic Programs},\n author = {Ricardo Rocha and Fernando M. A. Silva and Vítor Santos Costa},\n author_short = {Rocha, R. and Silva, F. M. A. and Santos Costa, V.},\n bibtype = {article},\n type = {article},\n year = {2003},\n key = {dblp3062317},\n id = {dblp3062317},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/cs-LO-0308007},\n url = {http://arxiv.org/abs/cs.LO/0308007},\n journal = {CoRR},\n volume = {cs.LO/0308007},\n text = {CoRR cs.LO/0308007 (2003)}\n}","text":"CoRR cs.LO/0308007 (2003)","volume":"cs.LO/0308007","journal":"CoRR","url":"http://arxiv.org/abs/cs.LO/0308007","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/cs-LO-0308007","id":"dblp3062317","key":"dblp3062317","year":"2003","type":"article","bibtype":"article","author_short":["Rocha, R.","Silva, F. M. A.","Santos Costa, V."],"author":["Ricardo Rocha","Fernando M. A. Silva","Vítor Santos Costa"],"title":"On Applying Or-Parallelism and Tabling to Logic Programs"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/cs-LO-0308007","downloads":0,"search_terms":["applying","parallelism","tabling","logic","programs","rocha","silva","santos costa"],"title":"On Applying Or-Parallelism and Tabling to Logic Programs","year":2003,"dataSources":["EKynt9nALBzCTnpCz"]}