Coherent Interaction Graphs - Archive ouverte HAL
Article Dans Une Revue Electronic Proceedings in Theoretical Computer Science Année : 2019

Dates et versions

hal-02345618 , version 1 (04-11-2019)

Identifiants

Citer

Lê Thành Dũng Nguyen, Thomas Seiller. Coherent Interaction Graphs. Electronic Proceedings in Theoretical Computer Science, 2019, 292, pp.104-117. ⟨10.4204/EPTCS.292.6⟩. ⟨hal-02345618⟩
33 Consultations
0 Téléchargements

Altmetric

Partager

More