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

Dale Miller 1
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
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 : Wednesday, March 27, 2019 - 4:41:29 PM

Identifiers

  • HAL Id : hal-01615598, version 1

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

197