Researcher identifiers

Number of documents

4

Claude Kirchner


"Paolo Baldan"   

Journal articles1 document

  • 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⟩

Conference papers2 documents

  • 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⟩

Reports1 document

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