Publication:4264199

zbMath0943.68094MaRDI QIDQ4264199

Christophe Ringeissen, Claude Kirchner

Publication date: 16 September 1999

zbMATH Keywords

constraint programming; constraint solving; ELAN language

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68Q42: Grammars and rewriting systems

Related Items

ELAN from a rewriting logic point of view, Rewriting logic: Roadmap and bibliography

Uses Software

• ELAN