Accéder directement au contenu

Claude Kirchner

1
Documents
Identifiants chercheurs

Présentation

Publications

835482

External rewriting for skeptical proof assistants

Quang-Huy Nguyen , Claude Kirchner , Hélène Kirchner
Journal of Automated Reasoning, 2002, 29 (3-4), pp.309-336
Article dans une revue inria-00101009v1