of Georg Ringwelski

Conference articles

  1. Georg Ringwelski and Hans Schlenker. Type Inference in CHR Programs for the Composition of Constraint Systems. In S. Abdennadher, U. Geske, and D. Seipel, editors, WLP '00: Proc. 15th Workshop on Logic Programming, pages 137-146, August 2000. Keyword(s): type systems.
  2. Georg Ringwelski and Hans Schlenker. Using typed interfaces to compose CHR programs. In T. Frühwirth and others, editors, RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, September 2000.