2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2017

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

Dale Miller
Proof search and reasoning with logic specifications
CV

Domaines

Logique en informatique [cs.LO]

Dale Miller  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01615598

Soumis le : jeudi 12 octobre 2017-15:58:52

Dernière modification le : vendredi 24 mars 2023-14:53:05

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01615598 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
151 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More