Article Dans Une Revue
CoRR
Année : 2017
Ludovic Mignot : Connectez-vous pour contacter le contributeur
https://normandie-univ.hal.science/hal-02335270
Soumis le : lundi 28 octobre 2019-11:09:49
Dernière modification le : vendredi 22 décembre 2023-15:16:05
Dates et versions
Identifiants
- HAL Id : hal-02335270 , version 1
Citer
Pascal Caron, Ludovic Mignot, Clément Miklarz. On the decidability of \textdollark\textdollar-Block determinism. CoRR, 2017, abs/1705.10625. ⟨hal-02335270⟩
Collections
8
Consultations
0
Téléchargements