Article Dans Une Revue
Journal of Logic and Computation
Année : 2005
Delia KESNER : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00148548
Soumis le : mardi 22 mai 2007-17:11:04
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : hal-00148548 , version 1
Citer
Eduardo Bonelli, Delia Kesner, Alejandro Ríos. de Bruijn Indices for MetaTerms. Journal of Logic and Computation, 2005, 15, pp.855-899. ⟨hal-00148548⟩
Collections
27
Consultations
0
Téléchargements