Claude Kirchner
7
Documents
Identifiants chercheurs
claudekirchner-
0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 7
- 6
- 3
- 1
A rewriting calculus for cyclic higher-order term graphsMathematical Structures in Computer Science, 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
Article dans une revue
inria-00110872v1
|
|
Expressing Combinatory Reduction Systems Derivations in the Rewriting CalculusHigher-Order and Symbolic Computation, 2006
Article dans une revue
inria-00110869v1
|
The Rewriting Calculus as a Combinatory Reduction SystemTenth International Conference on Foundations of Software Science and Computations Structures - FoSSaCS 2007, Mar 2007, Braga, Portugal. pp.78-92, ⟨10.1007/978-3-540-71389-0_7⟩
Communication dans un congrès
inria-00121792v1
|
|
Towards a sharing strategy for the graph rewriting calculus7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France
Communication dans un congrès
inria-00186141v1
|
|
A rewriting calculus for cyclic higher-order term graphs2nd International Workshop on Term Graph Rewriting - TERMGRAPH'2004, Oct 2004, Rome, Italy, 20 p
Communication dans un congrès
inria-00100095v1
|
|
|
|
Translating Combinatory Reduction Systems into the Rewriting Calculus4th International Workshop on Rule-Based Programming - RULE 2003, 2003, Valencia, Spain
Communication dans un congrès
inria-00107640v1
|
|
|
A rewriting calculus for cyclic higher-order term graphs[Intern report] 2005
Rapport
inria-00000825v1
|