Article Dans Une Revue
ACM Transactions on Computational Logic
Année : 2018
Thomas Seiller : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01922445
Soumis le : mercredi 14 novembre 2018-15:18:20
Dernière modification le : jeudi 28 novembre 2024-10:50:24
Citer
Thomas Seiller. Interaction Graphs: Nondeterministic Automata. ACM Transactions on Computational Logic, 2018, 19 (3), pp.1 - 24. ⟨10.1145/3226594⟩. ⟨hal-01922445⟩
Collections
48
Consultations
0
Téléchargements