Search dblp for Publications

export results for "toc:db/conf/lpe/wlpe2003.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lpe/CodishG03,
  author       = {Michael Codish and
                  Samir Genaim},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Alexander Serebrenik},
  title        = {Proving Termination One Loop at a Time},
  booktitle    = {Proceedings of the 13th International Workshop on Logic Programming
                  Environments, Tata Institute of Fundamental Research, Mumbai, India,
                  December 8, 2003},
  series       = {Report},
  volume       = {{CW371}},
  pages        = {48--59},
  publisher    = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
                  200A, {B-3001} Heverlee (Belgium)},
  year         = {2003},
  timestamp    = {Thu, 09 May 2024 10:43:07 +0200},
  biburl       = {https://dblp.org/rec/conf/lpe/CodishG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Coquery03,
  author       = {Emmanuel Coquery},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Alexander Serebrenik},
  title        = {{TCLP:} {A} type checker for {CLP(X)}},
  booktitle    = {Proceedings of the 13th International Workshop on Logic Programming
                  Environments, Tata Institute of Fundamental Research, Mumbai, India,
                  December 8, 2003},
  series       = {Report},
  volume       = {{CW371}},
  pages        = {17--30},
  publisher    = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
                  200A, {B-3001} Heverlee (Belgium)},
  year         = {2003},
  timestamp    = {Thu, 11 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Coquery03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/DeransartLD03,
  author       = {Pierre Deransart and
                  Ludovic Langevine and
                  Mireille Ducass{\'{e}}},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Alexander Serebrenik},
  title        = {Demonstration: Debugging constraint problems with portable tools},
  booktitle    = {Proceedings of the 13th International Workshop on Logic Programming
                  Environments, Tata Institute of Fundamental Research, Mumbai, India,
                  December 8, 2003},
  series       = {Report},
  volume       = {{CW371}},
  pages        = {46--47},
  publisher    = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
                  200A, {B-3001} Heverlee (Belgium)},
  year         = {2003},
  timestamp    = {Thu, 11 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/DeransartLD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Munoz-HernandezVG03,
  author       = {Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
                  Claudio Vaucheret and
                  Sergio Guadarrama},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Alexander Serebrenik},
  title        = {Constructive combination of crisp and fuzzy logic in a Prolog compiler},
  booktitle    = {Proceedings of the 13th International Workshop on Logic Programming
                  Environments, Tata Institute of Fundamental Research, Mumbai, India,
                  December 8, 2003},
  series       = {Report},
  volume       = {{CW371}},
  pages        = {75--89},
  publisher    = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
                  200A, {B-3001} Heverlee (Belgium)},
  year         = {2003},
  timestamp    = {Thu, 11 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Munoz-HernandezVG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/SeipelHH03,
  author       = {Dietmar Seipel and
                  Marbod Hopfner and
                  Bernd D. Heumesser},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Alexander Serebrenik},
  title        = {Analyzing and Visualising Prolog programs based on {XML} representations},
  booktitle    = {Proceedings of the 13th International Workshop on Logic Programming
                  Environments, Tata Institute of Fundamental Research, Mumbai, India,
                  December 8, 2003},
  series       = {Report},
  volume       = {{CW371}},
  pages        = {31--45},
  publisher    = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
                  200A, {B-3001} Heverlee (Belgium)},
  year         = {2003},
  timestamp    = {Thu, 11 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/SeipelHH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/SerebrenikS03,
  author       = {Alexander Serebrenik and
                  Danny De Schreye},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Alexander Serebrenik},
  title        = {Hasta-La-Vista: Termination Analyser for Logic Programs},
  booktitle    = {Proceedings of the 13th International Workshop on Logic Programming
                  Environments, Tata Institute of Fundamental Research, Mumbai, India,
                  December 8, 2003},
  series       = {Report},
  volume       = {{CW371}},
  pages        = {60--74},
  publisher    = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
                  200A, {B-3001} Heverlee (Belgium)},
  year         = {2003},
  timestamp    = {Thu, 11 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/SerebrenikS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/Wielemaker03,
  author       = {Jan Wielemaker},
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Alexander Serebrenik},
  title        = {An Overview of the SWI-Prolog Programming Environment},
  booktitle    = {Proceedings of the 13th International Workshop on Logic Programming
                  Environments, Tata Institute of Fundamental Research, Mumbai, India,
                  December 8, 2003},
  series       = {Report},
  volume       = {{CW371}},
  pages        = {1--16},
  publisher    = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
                  200A, {B-3001} Heverlee (Belgium)},
  year         = {2003},
  timestamp    = {Thu, 11 Mar 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/Wielemaker03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lpe/2003,
  editor       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Alexander Serebrenik},
  title        = {Proceedings of the 13th International Workshop on Logic Programming
                  Environments, Tata Institute of Fundamental Research, Mumbai, India,
                  December 8, 2003},
  series       = {Report},
  volume       = {{CW371}},
  publisher    = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
                  200A, {B-3001} Heverlee (Belgium)},
  year         = {2003},
  url          = {https://www.cs.kuleuven.be/publicaties/rapporten/cw/CW371.abs.html},
  timestamp    = {Thu, 09 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpe/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.