Journal Articles
CoRR
Year : 2017
Ludovic Mignot : Connect in order to contact the contributor
https://hal-normandie-univ.archives-ouvertes.fr/hal-02335270
Submitted on : Monday, October 28, 2019-11:09:49 AM
Last modification on : Wednesday, March 2, 2022-10:10:11 AM
Dates and versions
Identifiers
- HAL Id : hal-02335270 , version 1
Cite
Pascal Caron, Ludovic Mignot, Clément Miklarz. On the decidability of \textdollark\textdollar-Block determinism. CoRR, 2017, abs/1705.10625. ⟨hal-02335270⟩
Collections
8
View
0
Download