Search dblp for Publications

export results for "toc:db/journals/entcs/entcs188.bht:"

 download as .bib file

@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.