Papers and technical reports about ELAN


Applications -- Programming

- [47] H. Dubois and H. Kirchner:
Objects, rules and strategies in ELAN - Research Report LORIA A00-R-245, Nancy, France, November 2000.

- [46] H. Dubois and H. Kirchner:
Objects, rules and strategies in ELAN - Algebraic Methods in Language Processing - AMILP 2000, Iowa City, Iowa, USA. May 2000.

- [21] C. Kirchner and C. Ringeissen:
Rule-Based Constraint Programming. - Fundamenta Informaticae, 34(3):225-262, September 1998.

- [41] H. Dubois and H. Kirchner:
Actions and Plans in ELAN - Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, Lindau, Germany. July 1998. Technical Report LORIA 98-R-275.

- [23] P. Viry:
Input/Output for ELAN. - In J. Meseguer, editor. Proceedings of the 1st International Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar, California, September 1996. Elsevier.

- [22] P. Borovansky:
Implementation of higher-order unification based on calculus of explicit substitutions. - In Proceedings of SOFSEM'95, Lecture Notes in Computer Science, pages 363-368. Springer-Verlag, 1995