BibTeX records: Jaime Sánchez-Hernández

download as .bib file

@inproceedings{DBLP:conf/lopstr/MontenegroPS15,
  author    = {Manuel Montenegro and
               Ricardo Pe{\~{n}}a and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {A Generic Intermediate Representation for Verification Condition Generation},
  booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
               Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
               Selected Papers},
  pages     = {227--243},
  year      = {2015},
  crossref  = {DBLP:conf/lopstr/2015},
  url       = {https://doi.org/10.1007/978-3-319-27436-2\_14},
  doi       = {10.1007/978-3-319-27436-2\_14},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/MontenegroPS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Aranda-LopezNSS14,
  author    = {Gabriel Aranda{-}L{\'{o}}pez and
               Susana Nieva and
               Fernando S{\'{a}}enz{-}P{\'{e}}rez and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {An extended constraint deductive database: Theory and implementation},
  journal   = {J. Log. Algebr. Program.},
  volume    = {83},
  number    = {1},
  pages     = {20--52},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.jlap.2013.07.002},
  doi       = {10.1016/j.jlap.2013.07.002},
  timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/Aranda-LopezNSS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lopez-FraguasMRS14,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Enrique Martin{-}Martin and
               Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Rewriting and narrowing for constructor systems with call-time choice
               semantics},
  journal   = {{TPLP}},
  volume    = {14},
  number    = {2},
  pages     = {165--213},
  year      = {2014},
  url       = {https://doi.org/10.1017/S1471068412000373},
  doi       = {10.1017/S1471068412000373},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/Lopez-FraguasMRS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Aranda-LopezNSS13,
  author    = {Gabriel Aranda{-}L{\'{o}}pez and
               Susana Nieva and
               Fernando S{\'{a}}enz{-}P{\'{e}}rez and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Incorporating Hypothetical Views and Extended Recursion into {SQL}
               Database Systems},
  booktitle = {{LPAR} 2013, 19th International Conference on Logic for Programming,
               Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch,
               South Africa, Short papers proceedings},
  pages     = {9--22},
  year      = {2013},
  crossref  = {DBLP:conf/lpar/2013s},
  url       = {http://www.easychair.org/publications/paper/160113},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/Aranda-LopezNSS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Aranda-LopezNSS13,
  author    = {Gabriel Aranda{-}L{\'{o}}pez and
               Susana Nieva and
               Fernando S{\'{a}}enz{-}P{\'{e}}rez and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Formalizing a Broader Recursion Coverage in {SQL}},
  booktitle = {Practical Aspects of Declarative Languages - 15th International Symposium,
               {PADL} 2013, Rome, Italy, January 21-22, 2013. Proceedings},
  pages     = {93--108},
  year      = {2013},
  crossref  = {DBLP:conf/padl/2013},
  url       = {https://doi.org/10.1007/978-3-642-45284-0\_7},
  doi       = {10.1007/978-3-642-45284-0\_7},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/Aranda-LopezNSS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-2617,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Enrique Martin{-}Martin and
               Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Rewriting and narrowing for constructor systems with call-time choice
               semantics},
  journal   = {CoRR},
  volume    = {abs/1209.2617},
  year      = {2012},
  url       = {http://arxiv.org/abs/1209.2617},
  archivePrefix = {arXiv},
  eprint    = {1209.2617},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1209-2617},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Lopez-FraguasRS09,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {A flexible framework for programming with non-deterministicfunctions},
  booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
               and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
               USA, January 19-20, 2009},
  pages     = {91--100},
  year      = {2009},
  crossref  = {DBLP:conf/pepm/2009},
  url       = {https://doi.org/10.1145/1480945.1480959},
  doi       = {10.1145/1480945.1480959},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/Lopez-FraguasRS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Aranda-LopezNSS09,
  author    = {Gabriel Aranda{-}L{\'{o}}pez and
               Susana Nieva and
               Fernando S{\'{a}}enz{-}P{\'{e}}rez and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Implementing a fixed point semantics for a constraint deductive database
               based on hereditary harrop formulas},
  booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, September 7-9,
               2009, Coimbra, Portugal},
  pages     = {117--128},
  year      = {2009},
  crossref  = {DBLP:conf/ppdp/2009},
  url       = {https://doi.org/10.1145/1599410.1599426},
  doi       = {10.1145/1599410.1599426},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/Aranda-LopezNSS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Lopez-FraguasRS09,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {A Fully Abstract Semantics for Constructor Systems},
  booktitle = {Rewriting Techniques and Applications, 20th International Conference,
               {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
               Proceedings},
  pages     = {320--334},
  year      = {2009},
  crossref  = {DBLP:conf/rta/2009},
  url       = {https://doi.org/10.1007/978-3-642-02348-4\_23},
  doi       = {10.1007/978-3-642-02348-4\_23},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/Lopez-FraguasRS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2205,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {A Lightweight Combination of Semantics for Non-deterministic Functions},
  journal   = {CoRR},
  volume    = {abs/0903.2205},
  year      = {2009},
  url       = {http://arxiv.org/abs/0903.2205},
  archivePrefix = {arXiv},
  eprint    = {0903.2205},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0903-2205},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Rodriguez-HortalaS08,
  author    = {Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Functions and Lazy Evaluation in Prolog},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {206},
  pages     = {153--174},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.03.080},
  doi       = {10.1016/j.entcs.2008.03.080},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Rodriguez-HortalaS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lopez-FraguasRS08,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Rewriting and Call-Time Choice: The {HO} Case},
  booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
               2008, Ise, Japan, April 14-16, 2008. Proceedings},
  pages     = {147--162},
  year      = {2008},
  crossref  = {DBLP:conf/flops/2008},
  url       = {https://doi.org/10.1007/978-3-540-78969-7\_12},
  doi       = {10.1007/978-3-540-78969-7\_12},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/Lopez-FraguasRS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/NievaSS08,
  author    = {Susana Nieva and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez and
               Fernando S{\'{a}}enz{-}P{\'{e}}rez},
  title     = {Formalizing a Constraint Deductive Database Language Based on Hereditary
               Harrop Formulas with Negation},
  booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
               2008, Ise, Japan, April 14-16, 2008. Proceedings},
  pages     = {289--304},
  year      = {2008},
  crossref  = {DBLP:conf/flops/2008},
  url       = {https://doi.org/10.1007/978-3-540-78969-7\_21},
  doi       = {10.1007/978-3-540-78969-7\_21},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/NievaSS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{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},
  title     = {Equivalence of Two Formal Semantics for Functional Logic Programs},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {188},
  pages     = {117--142},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.05.042},
  doi       = {10.1016/j.entcs.2007.05.042},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Lopez-FraguasRS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Lopez-FraguasRS07,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {A simple rewrite notion for call-time choice semantics},
  booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 14-16, 2007,
               Wroclaw, Poland},
  pages     = {197--208},
  year      = {2007},
  crossref  = {DBLP:conf/ppdp/2007},
  url       = {https://doi.org/10.1145/1273920.1273947},
  doi       = {10.1145/1273920.1273947},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/Lopez-FraguasRS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Lopez-FraguasRS07,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Narrowing for First Order Functional Logic Programs with Call-Time
               Choice Semantics},
  booktitle = {Applications of Declarative Programming and Knowledge Management,
               17th International Conference, {INAP} 2007, and 21st Workshop on Logic
               Programming, {WLP} 2007, W{\"{u}}rzburg, Germany, October 4-6,
               2007, Revised Selected Papers},
  pages     = {206--222},
  year      = {2007},
  crossref  = {DBLP:conf/wlp/2007},
  url       = {https://doi.org/10.1007/978-3-642-00675-3\_14},
  doi       = {10.1007/978-3-642-00675-3\_14},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wlp/Lopez-FraguasRS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Sanchez-Hernandez06,
  author    = {Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Constructive Failure in Functional-Logic Programming: From Theory
               to Implementation},
  journal   = {J. {UCS}},
  volume    = {12},
  number    = {11},
  pages     = {1574--1593},
  year      = {2006},
  url       = {https://doi.org/10.3217/jucs-012-11-1574},
  doi       = {10.3217/jucs-012-11-1574},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jucs/Sanchez-Hernandez06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lopez-FraguasS04,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {A Proof Theoretic Approach to Failure in Functional Logic Programming},
  journal   = {{TPLP}},
  volume    = {4},
  number    = {1-2},
  pages     = {41--74},
  year      = {2004},
  url       = {https://doi.org/10.1017/S1471068403001728},
  doi       = {10.1017/S1471068403001728},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/Lopez-FraguasS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Lopez-FraguasS03,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Failure and equality in functional logic programming},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {86},
  number    = {3},
  pages     = {123--143},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(04)80697-2},
  doi       = {10.1016/S1571-0661(04)80697-2},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Lopez-FraguasS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Lopez-FraguasS02,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Narrowing Failure in Functional Logic Programming},
  booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
               2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  pages     = {212--227},
  year      = {2002},
  crossref  = {DBLP:conf/flops/2002},
  url       = {https://doi.org/10.1007/3-540-45788-7\_13},
  doi       = {10.1007/3-540-45788-7\_13},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/Lopez-FraguasS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Almendros-JimenezBS01,
  author    = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
               Antonio Becerra{-}Ter{\'{o}}n and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {A Computational Model for Functional Logic Deductive Databases},
  booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
               Cyprus, November 26 - December 1, 2001, Proceedings},
  pages     = {331--347},
  year      = {2001},
  crossref  = {DBLP:conf/iclp/2001},
  url       = {https://doi.org/10.1007/3-540-45635-X\_30},
  doi       = {10.1007/3-540-45635-X\_30},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/Almendros-JimenezBS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Lopez-FraguasS01,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Functional Logic Programming with Failure: {A} Set-Oriented View},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
               International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
               2001, Proceedings},
  pages     = {455--469},
  year      = {2001},
  crossref  = {DBLP:conf/lpar/2001},
  url       = {https://doi.org/10.1007/3-540-45653-8\_31},
  doi       = {10.1007/3-540-45653-8\_31},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/Lopez-FraguasS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/Lopez-FraguasH00,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Proving Failure in Functional Logic Programs},
  booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
               UK, 24-28 July, 2000, Proceedings},
  pages     = {179--193},
  year      = {2000},
  crossref  = {DBLP:conf/cl/2000},
  url       = {https://doi.org/10.1007/3-540-44957-4\_12},
  doi       = {10.1007/3-540-44957-4\_12},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cl/Lopez-FraguasH00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Lopez-FraguasS99,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {Disequalities May Help to Narrow},
  booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
               Italy, September 6-9, 1999},
  pages     = {89--104},
  year      = {1999},
  crossref  = {DBLP:conf/agp/1999},
  timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agp/Lopez-FraguasS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Lopez-FraguasH99,
  author    = {Francisco Javier L{\'{o}}pez{-}Fraguas and
               Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
  title     = {\emph{TOY}: {A} Multiparadigm Declarative System},
  booktitle = {Rewriting Techniques and Applications, 10th International Conference,
               RTA-99, Trento, Italy, July 2-4, 1999, Proceedings},
  pages     = {244--247},
  year      = {1999},
  crossref  = {DBLP:conf/rta/1999},
  url       = {https://doi.org/10.1007/3-540-48685-2\_19},
  doi       = {10.1007/3-540-48685-2\_19},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/Lopez-FraguasH99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2015,
  editor    = {Moreno Falaschi},
  title     = {Logic-Based Program Synthesis and Transformation - 25th International
               Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9527},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-27436-2},
  doi       = {10.1007/978-3-319-27436-2},
  isbn      = {978-3-319-27435-5},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2013s,
  editor    = {Kenneth L. McMillan and
               Aart Middeldorp and
               Geoff Sutcliffe and
               Andrei Voronkov},
  title     = {{LPAR} 2013, 19th International Conference on Logic for Programming,
               Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch,
               South Africa, Short papers proceedings},
  series    = {EPiC Series in Computing},
  volume    = {26},
  publisher = {EasyChair},
  year      = {2014},
  url       = {http://www.easychair.org/publications/?page=668528027},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2013s},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2013,
  editor    = {Konstantinos Sagonas},
  title     = {Practical Aspects of Declarative Languages - 15th International Symposium,
               {PADL} 2013, Rome, Italy, January 21-22, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7752},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-45284-0},
  doi       = {10.1007/978-3-642-45284-0},
  isbn      = {978-3-642-45283-3},
  timestamp = {Tue, 18 Jul 2017 14:13:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2009,
  editor    = {Germ{\'{a}}n Puebla and
               Germ{\'{a}}n Vidal},
  title     = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
               and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
               USA, January 19-20, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://dl.acm.org/citation.cfm?id=1480945},
  isbn      = {978-1-60558-327-3},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2009,
  editor    = {Ant{\'{o}}nio Porto and
               Francisco Javier L{\'{o}}pez{-}Fraguas},
  title     = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, September 7-9,
               2009, Coimbra, Portugal},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-568-0},
  timestamp = {Tue, 22 Sep 2009 21:52:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2009,
  editor    = {Ralf Treinen},
  title     = {Rewriting Techniques and Applications, 20th International Conference,
               {RTA} 2009, Bras{\'{\i}}lia, Brazil, June 29 - July 1, 2009,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5595},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02348-4},
  doi       = {10.1007/978-3-642-02348-4},
  isbn      = {978-3-642-02347-7},
  timestamp = {Tue, 23 May 2017 01:10:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2008,
  editor    = {Jacques Garrigue and
               Manuel V. Hermenegildo},
  title     = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
               2008, Ise, Japan, April 14-16, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4989},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78969-7},
  doi       = {10.1007/978-3-540-78969-7},
  isbn      = {978-3-540-78968-0},
  timestamp = {Mon, 12 Jun 2017 16:41:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2007,
  editor    = {Michael Leuschel and
               Andreas Podelski},
  title     = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 14-16, 2007,
               Wroclaw, Poland},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-769-8},
  timestamp = {Fri, 24 Aug 2007 07:23:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2007,
  editor    = {Dietmar Seipel and
               Michael Hanus and
               Armin Wolf},
  title     = {Applications of Declarative Programming and Knowledge Management,
               17th International Conference, {INAP} 2007, and 21st Workshop on Logic
               Programming, {WLP} 2007, W{\"{u}}rzburg, Germany, October 4-6,
               2007, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5437},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00675-3},
  doi       = {10.1007/978-3-642-00675-3},
  isbn      = {978-3-642-00674-6},
  timestamp = {Thu, 25 May 2017 00:43:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wlp/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2002,
  editor    = {Zhenjiang Hu and
               Mario Rodr{\'{\i}}guez{-}Artalejo},
  title     = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
               2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2441},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45788-7},
  doi       = {10.1007/3-540-45788-7},
  isbn      = {3-540-44233-2},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2001,
  editor    = {Philippe Codognet},
  title     = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
               Cyprus, November 26 - December 1, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2237},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45635-X},
  doi       = {10.1007/3-540-45635-X},
  isbn      = {3-540-42935-2},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2001,
  editor    = {Robert Nieuwenhuis and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
               International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
               2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2250},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45653-8},
  doi       = {10.1007/3-540-45653-8},
  isbn      = {3-540-42957-3},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cl/2000,
  editor    = {John W. Lloyd and
               Ver{\'{o}}nica Dahl and
               Ulrich Furbach and
               Manfred Kerber and
               Kung{-}Kiu Lau and
               Catuscia Palamidessi and
               Lu{\'{\i}}s Moniz Pereira and
               Yehoshua Sagiv and
               Peter J. Stuckey},
  title     = {Computational Logic - {CL} 2000, First International Conference, London,
               UK, 24-28 July, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1861},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44957-4},
  doi       = {10.1007/3-540-44957-4},
  isbn      = {3-540-67797-6},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cl/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agp/1999,
  editor    = {Maria Chiara Meo and
               Manuel Vilares Ferro},
  title     = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
               Italy, September 6-9, 1999},
  year      = {1999},
  timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/agp/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/1999,
  editor    = {Paliath Narendran and
               Micha{\"{e}}l Rusinowitch},
  title     = {Rewriting Techniques and Applications, 10th International Conference,
               RTA-99, Trento, Italy, July 2-4, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1631},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48685-2},
  doi       = {10.1007/3-540-48685-2},
  isbn      = {3-540-66201-4},
  timestamp = {Wed, 24 May 2017 15:40:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier