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}
}

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.