Selected Extended Papers of ITP 2016: Preface - Archive ouverte HAL Access content directly
Journal Articles Journal of Automated Reasoning Year : 2019

Selected Extended Papers of ITP 2016: Preface

(1, 2) , (3, 4)
1
2
3
4

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
editorial.pdf (108.13 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Stephan Merz  : Connect in order to contact the contributor

https://hal.inria.fr/hal-02395177

Submitted on : Thursday, December 5, 2019-11:58:35 AM

Last modification on : Friday, July 8, 2022-10:06:56 AM

Long-term archiving on: Friday, March 6, 2020-2:31:58 PM

Download

Dates and versions

hal-02395177 , version 1 (05-12-2019)

Identifiers

Cite

Jasmin Christian Blanchette, Stephan Merz. Selected Extended Papers of ITP 2016: Preface. Journal of Automated Reasoning, 2019, 62 (2), pp.169-170. ⟨10.1007/s10817-018-9470-8⟩. ⟨hal-02395177⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM IMPACT-DIGITRUST
19 View
57 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More