1. J. Jaffar, editor. CP '99: Proc. 5th Intl. Conf. Princ. Pract. Constraint Programming, volume 1713 of Lecture Notes in Computer Science, October 1999. Springer-Verlag. ISBN: 3-540-66626-5.
   

   @proceedings{pcp99,
   title = CP99l,
   booktitle = CP99,
   editor = {J. Jaffar},
   location = {Alexandria, Virginia, USA},
   city = {Alexandria, Virginia, USA},
   month = oct,
   year = {1999},
   isbn = {3-540-66626-5},
   publisher = SV,
   series = LNCS,
   volume = 1713 
   }
   

1. Armin Wolf. Adaptive Constraintverarbeitung mit Constraint-Handling-Rules – Ein allgemeiner Ansatz zur Lösung dynamischer Constraint-probleme. PhD thesis, Technical University Berlin, Germany, 1999.
   

   @phdthesis{wolf_phdthesis99,
   author = {Armin Wolf},
   title = {Adaptive {C}onstraintverarbeitung mit {Constraint-Handling-Rules} -- Ein allgemeiner {A}nsatz zur {L}{\"o}sung dynamischer {C}onstraint-probleme},
   school = {Technical University Berlin},
   year = 1999,
   address = {Germany},
   
   }
   

1. Slim Abdennadher, Thom Frühwirth, and Holger Meuss. Confluence and Semantics of Constraint Simplification Rules. Constraints, 4(2):133-165, 1999. ISSN: 1383-7133. [doi:10.1023/A:1009842826135] Keyword(s): confluence, semantics.
   

   @article{abd_fru_meuss_confluence_semantics_csr_constr99,
   author = {Slim Abdennadher and Thom Fr{\"u}hwirth and Holger Meuss},
   title = {Confluence and Semantics of Constraint Simplification Rules},
   journal = {Constraints},
   volume = {4},
   number = {2},
   year = {1999},
   issn = {1383-7133},
   pages = {133--165},
   doi = {10.1023/A:1009842826135},
   keywords = {confluence, semantics},
   publisher = Kluwer 
   }
   




2. Mireille Ducassé. Opium: an extendable trace analyzer for Prolog. J. Logic Programming, 39(1–3):177-223, 1999.
   

   @article{ducasse_opium_jlp99,
   author = {Mireille Ducass{\'e}},
   title = {Opium: an extendable trace analyzer for {P}rolog},
   journal = {J. Logic Programming},
   volume = 39,
   number = {1--3},
   pages = {177--223},
   year = 1999,
   publisher = Elsevier,
   
   }
   

1. Slim Abdennadher and Thom Frühwirth. Operational Equivalence of CHR Programs and Constraints. In J. Jaffar, editor, CP '99: Proc. 5th Intl. Conf. Princ. Pract. Constraint Programming, volume 1713 of Lecture Notes in Computer Science, pages 43-57, October 1999. Springer-Verlag. ISBN: 3-540-66626-5. Keyword(s): semantics.
   

   @inproceedings{abd_fru_equivalence_cp99,
   author = {Slim Abdennadher and Thom Fr{\"u}hwirth},
   title = {Operational Equivalence of {CHR} Programs and Constraints},
   keywords = {semantics},
   pages = {43--57},
   crossref = {pcp99} 
   }
   




2. Christian Holzbaur and Thom Frühwirth. Compiling Constraint Handling Rules into Prolog with Attributed Variables. In G. Nadathur, editor, PPDP '99, volume 1702 of Lecture Notes in Computer Science, pages 117-133, 1999. Springer-Verlag. Keyword(s): implementation.
   

   @inproceedings{holz_fru_compiling_chr_attr_vars_ppdp99,
   author = {Christian Holzbaur and Thom Fr{\"u}hwirth},
   title = {Compiling {C}onstraint {H}andling {R}ules into {Prolog} with Attributed Variables},
   booktitle = PPDP99,
   pages = {117--133},
   year = {1999},
   editor = {G. Nadathur},
   series = LNCS,
   volume = {1702},
   publisher = SV,
   location = {Paris, France},
   keywords = {implementation},
   city = {Paris, France},
   
   }
   




3. Carlos Ribeiro and Paulo Guedes. Verifying workflow processes against organization security policies. In WETICE '99: Proc. 8th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises, 1999. IEEE Computer Society. [doi:10.1109/ENABL.1999.805198]
   

   @inproceedings{ribeiro_guedes_wetice99,
   author = {Carlos Ribeiro and Paulo Guedes},
   title = {Verifying workflow processes against organization security policies},
   booktitle = {WETICE '99: Proc.\ 8th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises},
   year = {1999},
   publisher = {IEEE Computer Society},
   doi = {10.1109/ENABL.1999.805198},
   
   }
   

1. Matthias Schmauss. An Implementation of CHR in Java. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, November 1999. Keyword(s): implementation, Java.
   

   @mastersthesis{schmauss_jack:jchr_1999,
   author = {Matthias Schmau\ss{}},
   title = {An Implementation of {CHR} in {J}ava},
   year = 1999,
   month = nov,
   school = {Institute of Computer Science, LMU},
   keywords = {implementation, Java},
   address = {Munich, Germany},
   type = {Diplomarbeit},
   
   }
   

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The contents of this webpage is provided by the authors stated below. KU Leuven is not bound by the information provided. It is possible that the information is not or no longer completely accurate. Where necessary, the authors can adjust and update faulty information. The authors have taken all reasonable care to ensure that all information available on this website is accurate at the time of publication and on the basis of the current state of knowledge. KU Leuven nor the authors are responsible for the content of any links to external organisations that are referred to on this website.

• Peter Van Weert [home, mail]
• Jon Sneyers [home, mail]
• Tom Schrijvers [home, mail]
• Leslie De Koninck

This document was translated from BibT_EX by bibtex2html