Coherent Interaction Graphs

Lê Thành Dũng Nguyen; Thomas Seiller

doi:10.4204/EPTCS.292.6

Article Dans Une Revue Electronic Proceedings in Theoretical Computer Science Année : 2019

Coherent Interaction Graphs

(1, 2) , (1, 3)

1
2
3

Lê Thành Dũng Nguyen

Fonction : Auteur

Laboratoire d'Informatique de Paris-Nord

Université Paris 13

Thomas Seiller

Fonction : Auteur
PersonId : 2282
IdHAL : seiller
ORCID : 0000-0001-6313-0898
IdRef : 169626423

Laboratoire d'Informatique de Paris-Nord

Centre National de la Recherche Scientifique

CV

Domaines

Logique [math.LO] Logique en informatique [cs.LO]

Thomas Seiller : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02345618

Soumis le : lundi 4 novembre 2019-15:44:42

Dernière modification le : mardi 23 avril 2024-03:25:26

Dates et versions

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

Identifiants

HAL Id : hal-02345618 , version 1
DOI : 10.4204/EPTCS.292.6

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 CNRS LIPN USPC GALILE SORBONNE-PARIS-NORD ACT-R

26 Consultations

0 Téléchargements

Coherent Interaction Graphs

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager