Search dblp for Publications

export results for "stream:streams/conf/wclp:"

 download as .bib file

@proceedings{DBLP:conf/wclp/1991,
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  publisher = {{MIT} Press},
  year      = {1993},
  isbn      = {0-262-02353-9},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/1991.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/AggounB91,
  author    = {Abderrahmane Aggoun and
               Nicolas Beldiceanu},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Overview of the {CHIP} Compiler System},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {421--435},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 16:42:24 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/AggounB91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/Aguirre91,
  author    = {Alfonso San Miguel Aguirre},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {How to Use Symmetries in Boolean Constraint Solving},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {287--306},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/Aguirre91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/Benhamou91,
  author    = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Boolean Algorithms in Prolog {III}},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {307--325},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/Benhamou91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/BlancB91,
  author    = {Georges Blanc and
               No{\"{e}}lle Bleuzen{-}Guernalec},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Constraints in Rational Abstract Models},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {5--16},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/BlancB91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/Bockmayr91,
  author    = {Alexander Bockmayr},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Logic Programming with Pseudo-Boolean Constraints},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {327--350},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/Bockmayr91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/CodognetFS91,
  author    = {Philippe Codognet and
               Fran{\c{c}}ois Fages and
               Thierry Sola},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {A Metalevel Compiler of {CLP(FD)} and Its Combination with Intelligent
               Backtracking},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {437--456},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/CodognetFS91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/CohenKP91,
  author    = {Jacques Cohen and
               Pascal Koiran and
               Catherine Perrin},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Meta-Level Interpretation of CLP(Lists)},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {457--481},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/CohenKP91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/Colmerauer91,
  author    = {Alain Colmerauer},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Naive Solving of Non-linear Constraints},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {89--112},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/Colmerauer91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/CoxM91,
  author    = {Jim Cox and
               Ken McAloon},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Decision Procedures for Constraint Based Extensions of Datalog},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {17--32},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/CoxM91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/HentenryckD91,
  author    = {Pascal Van Hentenryck and
               Yves Deville},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {The Cardinality Operator: {A} New Logical Connective for Constraint
               Logic Programming},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {283--403},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/HentenryckD91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/Hickey91,
  author    = {Timothy J. Hickey},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Functional Constraints in {CLP} Languages},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {355--381},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/Hickey91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/HollmanL91,
  author    = {Joachim Hollman and
               Lars Langemyr},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Algorithms for Non-linear Constraints},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {113--131},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/HollmanL91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/Hong91,
  author    = {Hoon Hong},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {RISC-CLP(Real): Logic Programming with Non-linear Constraints over
               the Reals},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {133--159},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/Hong91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/ImbertH91,
  author    = {Jean{-}Louis Imbert and
               Pascal Van Hentenryck},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {On the Handling of Disequations in {CLP} over Linear Rational Arithmetic},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {49--71},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/ImbertH91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/LassezHM91,
  author    = {Jean{-}Louis Lassez and
               Tien Huynh and
               Ken McAloon},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Simplification and Elimination of Redundant Linear Arithmetic Constraints},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {73--87},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/LassezHM91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/LassezM91,
  author    = {Jean{-}Louis Lassez and
               Ken McAloon},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {A Constraint Sequent Calculus},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {33--43},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/LassezM91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/Massat91,
  author    = {Jean{-}Luc Massat},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Using Local Consistency Techniques to Solve Boolean Constraints},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {223--235},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/Massat91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/MenjuSSA91,
  author    = {Satoshi Menju and
               K{\^{o}} Sakai and
               Yosuke Sato and
               Akira Aiba},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {A Study on Boolean Constraint Solvers},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {253--267},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/MenjuSSA91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/MontanariR91,
  author    = {Ugo Montanari and
               Francesca Rossi},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Finite Domain Constraint Solving and Constraint Logic Programming},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {201--221},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/MontanariR91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/OlderV91,
  author    = {William J. Older and
               Andr{\'{e}} Vellino},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Constraint Arithmetic on Real Intervals},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {175--195},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/OlderV91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/Rauzy91,
  author    = {Antoine Rauzy},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Using Enumerative Methods for Boolean Unification},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {237--251},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/Rauzy91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/SatoA91,
  author    = {Shinichi Sato and
               Akira Aiba},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {An Application of {CAL} to Robotics},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {161--173},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/SatoA91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/SimonisD91,
  author    = {Helmut Simonis and
               Mehmet Dincbas},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Propositional Calculus Problems in {CHIP}},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {269--285},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/SimonisD91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/Smolka91,
  author    = {Gert Smolka},
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou and
               Alain Colmerauer},
  title     = {Residuation and Guarded Rules for Constraint Logic Programming},
  booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
               France},
  pages     = {405--419},
  publisher = {{MIT} Press},
  year      = {1991},
  timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wclp/Smolka91.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics