Claude Kirchner
2
Documents
Identifiants chercheurs
- claudekirchner
- 0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 2
- 2
Dynamically-Typed Computations for Order-Sorted Equational PresentationsJournal of Symbolic Computation, 1998, 25 (4), pp.455-526
Article dans une revue
inria-00098625v1
|
|
Dynamically-typed computations for order-sorted equational presentations[Research Report] RR-2208, INRIA. 1994, pp.114
Rapport
inria-00074463v1
|