Interaction Graphs: Nondeterministic Automata - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Computational Logic Année : 2018

Interaction Graphs: Nondeterministic Automata

Fichier non déposé

Dates et versions

hal-01922445 , version 1 (14-11-2018)

Identifiants

Citer

Thomas Seiller. Interaction Graphs: Nondeterministic Automata. ACM Transactions on Computational Logic, 2018, 19 (3), pp.1 - 24. ⟨10.1145/3226594⟩. ⟨hal-01922445⟩
41 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More