Co-authors

Researcher identifiers

Number of documents

3

Claude Kirchner


"Guillaume Burel"   

Journal articles1 document

Conference papers2 documents

  • Guillaume Burel, Claude Kirchner. Cut Elimination in Deduction Modulo by Abstract Completion. Symposium on Logical Foundations of Computer Science LFCS'07, Sergei Artemov, Jun 2007, New York, United States. pp.115-131, ⟨10.1007/978-3-540-72734-7_9⟩. ⟨inria-00115556v3⟩
  • Guillaume Burel, Claude Kirchner. Completion is an Instance of Abstract Canonical System Inference. Algebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego/USA, pp.497-520, ⟨10.1007/11780274_26⟩. ⟨inria-00000775v2⟩