Article Dans Une Revue
Mathematical Structures in Computer Science
Année : 2006
Patrick Baillot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00153257
Soumis le : vendredi 8 juin 2007-16:16:43
Dernière modification le : mercredi 28 février 2024-14:36:40
Dates et versions
Identifiants
- HAL Id : hal-00153257 , version 1
Citer
Ugo Dal Lago, Patrick Baillot. On Light Logics, Uniform Encodings and Polynomial Time.. Mathematical Structures in Computer Science, 2006, 16 (4), pp.713-733. ⟨hal-00153257⟩
Collections
52
Consultations
0
Téléchargements