Publications

of Holger Meuss

Articles in journal, book chapters

  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.

Conference articles

  1. Slim Abdennadher, Thom Frühwirth, and Holger Meuss. On confluence of Constraint Handling Rules. In CP '96: Proc. Second Intl. Conf. Principles and Practice of Constraint Programming, volume 1118 of LNCS, pages 1-15, August 1996. SV. [doi:10.1007/3-540-61551-2_62] Keyword(s): confluence.

Miscellaneous

  1. Holger Meuss. Konfluenz von Constraint-Handling-Rules-Programmen. Diplomarbeit, Institut für Informatik, Ludwig-Maximilians-Universität München, Germany, 1996. Keyword(s): confluence.

BACK TO INDEX