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

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

Dale Miller 1
1 PARSIFAL - Proof search and reasoning with logic specifications
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.inria.fr/hal-01615598
Contributor : Dale Miller <>
Submitted on : Thursday, October 12, 2017 - 3:58:52 PM
Last modification on : Thursday, March 5, 2020 - 6:35:32 PM

Identifiers

  • HAL Id : hal-01615598, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

202