%0 Conference Paper %1 journals/entcs/OchoaP08 %A Ochoa, Claudio %A Puebla, Germán %B QAPL %D 2008 %E Aldini, Alessandro %E Baier, Christel %I Elsevier %K dblp %N 3 %P 145-161 %T Oracle-Based Partial Evaluation. %U http://dblp.uni-trier.de/db/conf/qapl/qapl2008.html#OchoaP08 %V 220

@inproceedings{journals/entcs/OchoaP08, added-at = {2023-01-20T00:00:00.000+0100}, author = {Ochoa, Claudio and Puebla, Germán}, biburl = {https://www.bibsonomy.org/bibtex/2faddc531a78c733aba919ea4c70180ac/dblp}, booktitle = {QAPL}, crossref = {conf/qapl/2008}, editor = {Aldini, Alessandro and Baier, Christel}, ee = {https://doi.org/10.1016/j.entcs.2008.11.024}, interhash = {9c564f3216fc997e1e8fc1c9706ca4ca}, intrahash = {faddc531a78c733aba919ea4c70180ac}, keywords = {dblp}, number = 3, pages = {145-161}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T11:26:01.000+0200}, title = {Oracle-Based Partial Evaluation.}, url = {http://dblp.uni-trier.de/db/conf/qapl/qapl2008.html#OchoaP08}, volume = 220, year = 2008 }