Search dblp for Publications

export results for "toc:db/conf/iclp/iclp93-w3.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iclp/Ait-KaciPG93,
  author       = {Hassan A{\"{\i}}t{-}Kaci and
                  Andreas Podelski and
                  Seth Copen Goldstein},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {Order-Sorted Feature Theory Unification},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Tue, 26 Dec 2017 15:02:23 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Ait-KaciPG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Ait-KaciPR93,
  author       = {Hassan A{\"{\i}}t{-}Kaci and
                  Andreas Podelski and
                  Peter Van Roy},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {An Informal Introduction to {LIFE}},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Ait-KaciPR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BandaHM93,
  author       = {Maria J. Garc{\'{\i}}a de la Banda and
                  Manuel V. Hermenegildo and
                  Kim Marriott},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {Independence in Constraint Logic Programs},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/BandaHM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/CarlsonJM93,
  author       = {Bj{\"{o}}rn Carlson and
                  Sverker Janson and
                  Johan Montelius},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {Aspects of Constraint Solving for {AKL} (Extended Abstract)},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/CarlsonJM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/CodognetD93,
  author       = {Philippe Codognet and
                  Daniel Diaz},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {Boolean Constraint Solving Using clp(FD)},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/CodognetD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/JansonMH93,
  author       = {Sverker Janson and
                  Johan Montelius and
                  Seif Haridi},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {A Survey of AKL, {A} General Purpose Concurrent Constraint Language
                  (Extended Abstract)},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/JansonMH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Keisu93,
  author       = {Torbj{\"{o}}rn Keisu},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {Herbrand Constraints (Extended Abstract)},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Keisu93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/MontanariRBGH93,
  author       = {Ugo Montanari and
                  Francesca Rossi and
                  Francisco Bueno and
                  Maria J. Garc{\'{\i}}a de la Banda and
                  Manuel V. Hermenegildo},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {Contextual Nets and Constraint Logic Programming},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MontanariRBGH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/MoolenaarD93,
  author       = {Remco Moolenaar and
                  Bart Demoen},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {Optimization Techniques for Nondeterministic Promotion in the Andorra
                  Kernel Language},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/MoolenaarD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/PodelskiR93,
  author       = {Andreas Podelski and
                  Peter Van Roy},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {The Beauty and the Beast Algorithm: Testing Entailment and Disentailment
                  Incrementally},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/PodelskiR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/SahlinS93,
  author       = {Dan Sahlin and
                  Thomas Sj{\"{o}}land},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {Towards Abstract Interpretation of {AKL}},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/SahlinS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Smolka93,
  author       = {Gert Smolka},
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {A Survey of Oz - {A} Higher-order Concurrent Constraint Language},
  booktitle    = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Smolka93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iclp/1993w3,
  editor       = {Christian Schulte and
                  Gert Smolka},
  title        = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
                  Constraint Programming, Budapest, Hungary, June 24-25, 1993},
  year         = {1993},
  timestamp    = {Tue, 26 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/1993w3.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.