Article Dans Une Revue
Theoretical Computer Science
Année : 2010
Patrick Baillot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00488531
Soumis le : mercredi 2 juin 2010-10:56:22
Dernière modification le : jeudi 11 mai 2023-11:56:10
Dates et versions
Identifiants
- HAL Id : hal-00488531 , version 1
- ARXIV : 0801.1253
- DOI : 10.1016/j.tcs.2009.09.015
Citer
Patrick Baillot, Damiano Mazza. Linear logic by levels and bounded time complexity. Theoretical Computer Science, 2010, 411 (2), pp. 470--503. ⟨10.1016/j.tcs.2009.09.015⟩. ⟨hal-00488531⟩
Collections
83
Consultations
0
Téléchargements