Hélène Kirchner

Hélène Kirchner

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Others
AD Scientific Index ID: 4440120
French National Institute for Research in Computer Science and Control
person_outline Hélène Kirchner's MOST POPULAR ARTICLES
1-) An overview of ELANP Borovanský, C Kirchner, H Kirchner, PE Moreau, C RingeissenElectronic Notes in Theoretical Computer Science 15, 55-70, 19982931998
2-) Simplification and termination of strategies in rule-based languagesO Fissore, I Gnaedig, H KirchnerProceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003162003
3-) Equational logic and rewritingC Kirchner, H KirchnerHandbook of the History of Logic 9, 255-282, 2014102014
4-) Frontiers of combining systems, volume 1794 of Lecture Notes in Computer ScienceH Kirchner, C RingeissenSpringer-Verlag, 200082000
5-) Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 ProceedingsH Kirchner, C RingeissenSpringer, 200672006