Communication Dans Un Congrès
Année : 2001
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03206071
Soumis le : jeudi 22 avril 2021-20:38:46
Dernière modification le : vendredi 19 avril 2024-16:18:55
Dates et versions
Identifiants
- HAL Id : hal-03206071 , version 1
Citer
Xavier Rival, Jean Goubault-Larrecq. Experiments with Finite Tree Automata in Coq. 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01), Sep 2001, Edinburgh, United Kingdom. pp.362-377. ⟨hal-03206071⟩
Collections
22
Consultations
0
Téléchargements