Researcher identifiers

Number of documents

7

Claude Kirchner


"Clara Bertolissi"   

Journal articles2 documents

  • Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩. ⟨inria-00110872⟩
  • Horatiu Cirstea, Clara Bertolissi, Claude Kirchner. Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus. Higher-Order and Symbolic Computation, Springer Verlag, 2006. ⟨inria-00110869⟩

Conference papers4 documents

  • Clara Bertolissi, Claude Kirchner. The Rewriting Calculus as a Combinatory Reduction System. Tenth 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⟩. ⟨inria-00121792⟩
  • Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. Towards a sharing strategy for the graph rewriting calculus. 7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France. ⟨inria-00186141⟩
  • Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. 2nd International Workshop on Term Graph Rewriting - TERMGRAPH'2004, Oct 2004, Rome, Italy, 20 p. ⟨inria-00100095⟩
  • Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. Translating Combinatory Reduction Systems into the Rewriting Calculus. 4th International Workshop on Rule-Based Programming - RULE 2003, 2003, Valencia, Spain. ⟨inria-00107640⟩

Reports1 document

  • Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. [Intern report] 2005. ⟨inria-00000825⟩