Books
Year : 2016
Jean-Marc Talbot : Connect in order to contact the contributor
https://amu.hal.science/hal-03589995
Submitted on : Saturday, February 26, 2022-3:12:41 PM
Last modification on : Monday, August 28, 2023-3:33:57 PM
Dates and versions
Identifiers
- HAL Id : hal-03589995 , version 1
Cite
Jean-Marc Talbot, Laurent Regnier (Dir.). 25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016, August 29 - September 1, 2016, Marseille, France. 2016. ⟨hal-03589995⟩
10
View
0
Download