Claude Kirchner
1
Documents
Identifiants chercheurs
- claudekirchner
- 0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 1
- 1
External rewriting for skeptical proof assistantsJournal of Automated Reasoning, 2002, 29 (3-4), pp.309-336
Article dans une revue
inria-00101009v1
|