Skip to Main content Skip to Navigation
Directions of work or proceedings

25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016, August 29 - September 1, 2016, Marseille, France

Document type :
Directions of work or proceedings
Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-03589995
Contributor : Jean-Marc Talbot Connect in order to contact the contributor
Submitted on : Saturday, February 26, 2022 - 3:12:41 PM
Last modification on : Sunday, February 27, 2022 - 3:28:03 AM

Identifiers

  • HAL Id : hal-03589995, version 1

Citation

Jean-Marc Talbot, Laurent Regnier. 25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016, August 29 - September 1, 2016, Marseille, France. 2016. ⟨hal-03589995⟩

Share

Metrics

Record views

5