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, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Type de document :
Direction d'ouvrage, Proceedings, Dossier
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
Liste complète des métadonnées

https://hal.inria.fr/hal-01615598
Contributeur : Dale Miller <>
Soumis le : jeudi 12 octobre 2017 - 15:58:52
Dernière modification le : jeudi 10 mai 2018 - 02:06:30

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

125