Article Dans Une Revue
Mathematical Structures in Computer Science
Année : 2000
Vincent Padovani : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527853
Soumis le : mercredi 20 octobre 2010-14:40:29
Dernière modification le : mercredi 21 février 2024-12:42:22
Dates et versions
Identifiants
- HAL Id : hal-00527853 , version 1
Citer
Vincent Padovani. Decidability of fourth-order matching. Mathematical Structures in Computer Science, 2000, 10 (3), pp.361-372. ⟨hal-00527853⟩
Collections
13
Consultations
0
Téléchargements