Co-authors

Researcher identifiers

Number of documents

4

Claude Kirchner


"Nachum Dershowitz"   

Journal articles1 document

Conference papers3 documents

  • Nachum Dershowitz, Claude Kirchner. Abstract Saturation-based Inference. Eighteenth Annual IEEE Symposium on Logic in Computer Science - LICS'2003), Jun 2003, Ottawa, Canada, 10 p. ⟨inria-00099466⟩
  • Nachum Dershowitz, Claude Kirchner. Abstract Canonical Inference Systems. 16th International Workshop on Unification - UNIF'2002, Jul 2002, Copenhagen, Denmark, 20 p. ⟨inria-00107627⟩
  • Nachum Dershowitz, Claude Kirchner. Inversion Strategies. Third Workshop on Rule-Based Constraint Reasoning and Programming - RCoRP'01, Dec 2001, Paphos, Cyprus, 15 p. ⟨inria-00100570⟩