Claude Kirchner
2
Documents
Identifiants chercheurs
- claudekirchner
- 0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 2
- 2
- 1
- 1
- 1
|
Rewriting with strategies in ELAN: a functional semanticsInternational Journal of Foundations of Computer Science, 2001, pp.27. ⟨10.1142/S0129054101000412⟩
Article dans une revue
inria-00098778v1
|
An Overview of ELANSecond Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p
Communication dans un congrès
inria-00098518v1
|