Article Dans Une Revue
Information and Computation
Année : 2018
Patrick Baillot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02154716
Soumis le : mercredi 12 juin 2019-22:06:16
Dernière modification le : jeudi 11 mai 2023-11:56:10
Citer
Matthieu Perrinel. Paths-based criteria and application to linear logic subsystems characterizing polynomial time. Information and Computation, 2018, 261, pp.23-54. ⟨10.1016/j.ic.2018.05.004⟩. ⟨hal-02154716⟩
Collections
22
Consultations
0
Téléchargements