2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Proceedings Year : 2017

2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)

No file

Dates and versions

hal-01615598 , version 1 (12-10-2017)

Identifiers

  • HAL Id : hal-01615598 , version 1

Cite

Dale Miller. 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Dale Miller. FSCD 2017 - 2nd International Conference on Formal Structures for Computation and Deduction , Sep 2017, Oxford, United Kingdom. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017, 978-3-95977-047-7. ⟨hal-01615598⟩
150 View
0 Download

Share

Gmail Facebook X LinkedIn More