Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/lpe/DenmatGD05,
  author       = {Tristan Denmat and
                  Arnaud Gotlieb and
                  Mireille Ducass{\'{e}}},
  editor       = {Alexander Serebrenik and
                  Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
  title        = {Proving or Disproving likely Invariants with Constraint Reasoning},
  booktitle    = {Proceedings of the 15th International Workshop on Logic Programming
                  Environments, Sitges (Barcelona), Spain, October 5, 2005},
  pages        = {1--13},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs.pl/0508108},
  timestamp    = {Fri, 05 Feb 2021 11:07:04 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/DenmatGD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/HeavenR05,
  author       = {William Heaven and
                  Alessandra Russo},
  editor       = {Alexander Serebrenik and
                  Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
  title        = {Enhancing the Alloy Analyzer with Patterns of Analysis},
  booktitle    = {Proceedings of the 15th International Workshop on Logic Programming
                  Environments, Sitges (Barcelona), Spain, October 5, 2005},
  pages        = {14--30},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs.pl/0508109},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/HeavenR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/LangevineD05,
  author       = {Ludovic Langevine and
                  Mireille Ducass{\'{e}}},
  editor       = {Alexander Serebrenik and
                  Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
  title        = {A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic
                  Programs},
  booktitle    = {Proceedings of the 15th International Workshop on Logic Programming
                  Environments, Sitges (Barcelona), Spain, October 5, 2005},
  pages        = {94--110},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs.pl/0508105},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/LangevineD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Munoz-HernandezV05,
  author       = {Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
                  Claudio Vaucheret},
  editor       = {Alexander Serebrenik and
                  Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
  title        = {Extending Prolog with Incomplete Fuzzy Information},
  booktitle    = {Proceedings of the 15th International Workshop on Logic Programming
                  Environments, Sitges (Barcelona), Spain, October 5, 2005},
  pages        = {77--93},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs.pl/0508091},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Munoz-HernandezV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/NavasBH05,
  author       = {Jorge A. Navas and
                  Francisco Bueno and
                  Manuel V. Hermenegildo},
  editor       = {Alexander Serebrenik and
                  Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
  title        = {A Study of Set-Sharing Analysis via Clique},
  booktitle    = {Proceedings of the 15th International Workshop on Logic Programming
                  Environments, Sitges (Barcelona), Spain, October 5, 2005},
  pages        = {31--45},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs.LO/0508112},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/NavasBH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/PayetM05,
  author       = {{\'{E}}tienne Payet and
                  Fr{\'{e}}d{\'{e}}ric Mesnard},
  editor       = {Alexander Serebrenik and
                  Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
  title        = {An Improved Non-Termination Criterion for Binary Constraint Logic
                  Programs},
  booktitle    = {Proceedings of the 15th International Workshop on Logic Programming
                  Environments, Sitges (Barcelona), Spain, October 5, 2005},
  pages        = {46--60},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs.pl/0508106},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/PayetM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/PueblaHA05,
  author       = {Germ{\'{a}}n Puebla and
                  Manuel V. Hermenegildo and
                  Elvira Albert},
  editor       = {Alexander Serebrenik and
                  Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
  title        = {A Generic Framework for the Analysis and Specialization of Logic Programs},
  booktitle    = {Proceedings of the 15th International Workshop on Logic Programming
                  Environments, Sitges (Barcelona), Spain, October 5, 2005},
  pages        = {61--76},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs.PL/0508111},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/PueblaHA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lpe/2005,
  editor       = {Alexander Serebrenik and
                  Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
  title        = {Proceedings of the 15th International Workshop on Logic Programming
                  Environments, Sitges (Barcelona), Spain, October 5, 2005},
  year         = {2005},
  url          = {http://arxiv.org/html/cs.PL/0508078},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}