Paths-based criteria and application to linear logic subsystems characterizing polynomial time - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 2018

Paths-based criteria and application to linear logic subsystems characterizing polynomial time

Dates et versions

hal-02154716 , version 1 (12-06-2019)

Identifiants

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⟩
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More