default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs188.bht:"
@proceedings{DBLP:conf/prole/2006, editor = {Paqui Lucio and Fernando Orejas}, title = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, publisher = {Elsevier}, year = {2007}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/188/suppl/C}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prole/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AlarconGIL07, author = {Beatriz Alarc{\'{o}}n and Ra{\'{u}}l Guti{\'{e}}rrez and Jos{\'{e}} Iborra and Salvador Lucas}, editor = {Paqui Lucio and Fernando Orejas}, title = {Proving Termination of Context-Sensitive Rewriting with {MU-TERM}}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {105--115}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.05.041}, doi = {10.1016/J.ENTCS.2007.05.041}, timestamp = {Tue, 31 Jan 2023 15:25:12 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AlarconGIL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AlarconGL07, author = {Beatriz Alarc{\'{o}}n and Ra{\'{u}}l Guti{\'{e}}rrez and Salvador Lucas}, editor = {Paqui Lucio and Fernando Orejas}, title = {Improving the Context-sensitive Dependency Graph}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {91--103}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.05.040}, doi = {10.1016/J.ENTCS.2007.05.040}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AlarconGL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AlpuenteGV07, author = {Mar{\'{\i}}a Alpuente and Bernhard Gramlich and Alicia Villanueva}, editor = {Paqui Lucio and Fernando Orejas}, title = {A Framework for Timed Concurrent Constraint Programming with External Functions}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {143--155}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.05.043}, doi = {10.1016/J.ENTCS.2007.05.043}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AlpuenteGV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BertranBC07, author = {Miquel Bertran and Francesc{-}Xavier Babot and August Climent}, editor = {Paqui Lucio and Fernando Orejas}, title = {Formal Sequentialization of Distributed Systems via Program Rewriting}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {53--75}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.05.038}, doi = {10.1016/J.ENTCS.2007.05.038}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BertranBC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CastroL07, author = {Javier de Dios Castro and Francisco Javier L{\'{o}}pez{-}Fraguas}, editor = {Paqui Lucio and Fernando Orejas}, title = {Extra Variables Can Be Eliminated from Functional Logic Programs}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {3--19}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.049}, doi = {10.1016/J.ENTCS.2006.05.049}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CastroL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/JulianMP07, author = {Pascual Juli{\'{a}}n and Gin{\'{e}}s Moreno and Jaime Penabad}, editor = {Paqui Lucio and Fernando Orejas}, title = {Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {77--90}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.05.039}, doi = {10.1016/J.ENTCS.2007.05.039}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/JulianMP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Lopez-FraguasRS07, author = {Francisco Javier L{\'{o}}pez{-}Fraguas and Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez}, editor = {Paqui Lucio and Fernando Orejas}, title = {Equivalence of Two Formal Semantics for Functional Logic Programs}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {117--142}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.05.042}, doi = {10.1016/J.ENTCS.2007.05.042}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Lopez-FraguasRS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LucioO07, author = {Paqui Lucio and Fernando Orejas}, editor = {Paqui Lucio and Fernando Orejas}, title = {Preface}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {1--2}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.05.048}, doi = {10.1016/J.ENTCS.2006.05.048}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LucioO07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MartinFHRSV07, author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and Antonio J. Fern{\'{a}}ndez and Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and Mario Rodr{\'{\i}}guez{-}Artalejo and Fernando S{\'{a}}enz{-}P{\'{e}}rez and Rafael del Vado V{\'{\i}}rseda}, editor = {Paqui Lucio and Fernando Orejas}, title = {A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {37--51}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.05.037}, doi = {10.1016/J.ENTCS.2007.05.037}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MartinFHRSV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MorenoP07, author = {Gin{\'{e}}s Moreno and Vicente Pascual}, editor = {Paqui Lucio and Fernando Orejas}, title = {Formal Properties of Needed Narrowing with Similarity Relations}, booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages, {PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {188}, pages = {21--35}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.05.036}, doi = {10.1016/J.ENTCS.2007.05.036}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MorenoP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.