![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/discipl/discipl2000.bht:"
@inproceedings{DBLP:conf/discipl/AillaudD00, author = {Christophe Aillaud and Pierre Deransart}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Towards a Language for {CLP} Choice-Tree Visualisation}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {209--236}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_9}, doi = {10.1007/10722311\_9}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/discipl/AillaudD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/Bouvier00, author = {Pascal Bouvier}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Visual Tools to Debug Prolog {IV} Programs}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {177--190}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_7}, doi = {10.1007/10722311\_7}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/Bouvier00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/CarroH00, author = {Manuel Carro and Manuel V. Hermenegildo}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Tools for Search-Tree Visualisation: The {APT} Tool}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {237--252}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_10}, doi = {10.1007/10722311\_10}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/CarroH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/CarroH00a, author = {Manuel Carro and Manuel V. Hermenegildo}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Tools for Constraint Visualisation: The {VIFID/TRIFID} Tool}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {253--272}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_11}, doi = {10.1007/10722311\_11}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/CarroH00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/DeransartHM00, author = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {1--20}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_1}, doi = {10.1007/10722311\_1}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/DeransartHM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/DrabentMP00, author = {Wlodzimierz Drabent and Jan Maluszynski and Pawel Pietrzak}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Locating Type Errors in Untyped {CLP} Programs}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {121--150}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_5}, doi = {10.1007/10722311\_5}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/DrabentMP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/GoualardB00, author = {Fr{\'{e}}d{\'{e}}ric Goualard and Fr{\'{e}}d{\'{e}}ric Benhamou}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Debugging Constraint Programs by Store Inspection}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {273--297}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_12}, doi = {10.1007/10722311\_12}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/GoualardB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/Lai00, author = {Claude La{\"{\i}}}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Assertions with Constraints for {CLP} Debugging}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {109--120}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_4}, doi = {10.1007/10722311\_4}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/Lai00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/PueblaBH00, author = {Germ{\'{a}}n Puebla and Francisco Bueno and Manuel V. Hermenegildo}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {An Assertion Language for Constraint Logic Programs}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {23--62}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_2}, doi = {10.1007/10722311\_2}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/PueblaBH00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/PueblaBH00a, author = {Germ{\'{a}}n Puebla and Francisco Bueno and Manuel V. Hermenegildo}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {A Generic Processor for Program Validation and Debugging}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {63--107}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_3}, doi = {10.1007/10722311\_3}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/PueblaBH00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/SimonisA00, author = {Helmut Simonis and Abderrahmane Aggoun}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Search-Tree Visualisation}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {191--208}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_8}, doi = {10.1007/10722311\_8}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/SimonisA00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/SimonisABB00, author = {Helmut Simonis and Abderrahmane Aggoun and Nicolas Beldiceanu and Eric Bourreau}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Complex Constraint Abstraction: Global Constraint Visualisation}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {299--317}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_13}, doi = {10.1007/10722311\_13}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/SimonisABB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/SimonisCDFNT00, author = {Helmut Simonis and Trijntje Cornelissens and Veroniek Dumortier and Giovanni Fabris and F. Nanni and Adriano Tirabosco}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Using Constraint Visualisation Tools}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {321--356}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_14}, doi = {10.1007/10722311\_14}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/SimonisCDFNT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/discipl/TessierF00, author = {Alexandre Tessier and G{\'{e}}rard Ferrand}, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Declarative Diagnosis in the {CLP} Scheme}, booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, pages = {151--174}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311\_6}, doi = {10.1007/10722311\_6}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/TessierF00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/discipl/2000, editor = {Pierre Deransart and Manuel V. Hermenegildo and Jan Maluszynski}, title = {Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)}, series = {Lecture Notes in Computer Science}, volume = {1870}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722311}, doi = {10.1007/10722311}, isbn = {3-540-41137-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/discipl/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.